Re: [GHC] #12713: Bytes allocated statistic for T10858 differs between Windows and Linux