- fixed error in handling of int args in call_ffi

...