Re: [GHC] #713: SMP + FFI = crash...