Fix FFI example