module FFI.Int where

postulate Int : Set
{-# COMPILED_TYPE Int Int #-}