Bootstrap: include NavTag ffi module