pub const FFI_TYPE_UINT64: u32 = 11;