Constant ZX_INFO_TIMER 

pub const ZX_INFO_TIMER: u32 = 25 /* 25u32 */;