Re: [GHC] #12210: allocateExec: can't handle large objects