Re: [GHC] #16012: set/getAllocationCounter is broken in GHCi