Constant ZX_DEFAULT_TIMER_RIGHTS 

pub const ZX_DEFAULT_TIMER_RIGHTS: u32 = _ /* 53_259u32 */;