debug with GHC FFI?