A minimal example of the Idris C FFI