HomeIsabelle/Phabricator

Implement FFI calls for non-struct and non-floating point arguments and results.