Re: [GHC] #5305: crash after writing around 40 gigabytes to stdout