Multiple C threads -> one unthreaded GHC RTS