pub type zx_rsrc_system_base_t = u64;