pub type zx_koid_t = u64;