Re: [commit: ghc] master: Fix a bug introduced with allocation counters (2a6f193)