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