foreign import from RTS into GHC source