Re: [GHC] #10259: HPC code coverage fails