{-# LANGUAGE ForeignFunctionInterface #-} import qualified Storage as Store foreign import ccall adainit :: IO Int foreign import ccall adafinal :: IO Int main = do adainit s <- Store.createStorage 10 5 Store.pokePref s 1 2 3 r <- Store.peekPref s 1 2 3 putStrLn (show r) adafinal