Re: [GHC] #11542: Profiling call count frequently 0 when it shouldn't be