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