[backend] FFI adjustments.