Re: [GHC] #9232: Stats file has wrong numbers