' ffi & gt;