pub const timer_idx_t_TIMER_MAX: u32 = 1; // 1u32