[GHC] #9172: integer overflow in allocate()