Re: foreign import from RTS into GHC source