HomeIsabelle/Phabricator

Pass a vector of addresses to ffi_call rather than the arguments themselves.