test the FFI of Haskell