[Hat] How does the FFI work?