Re: [GHC] #13944: Introduce synchronized FFI