Re: [GHC] #5188: Runtime error when allocating lots of memory