Re: [GHC] #3373: GHC API is not thread safe