Re: Multiple C threads -> one unthreaded GHC RTS