FFI prototyping