Constant timer_idx_t_TIMER_MAX 

pub const timer_idx_t_TIMER_MAX: timer_idx_t = 1;