module spec Foreign.Ptr where import GHC.Ptr