Added forgotten FFI interface