Re: [GHC] #7363: runghc leaks space in IO