FFI specs passage