FFI helpers