Constant ledc_timer_t_LEDC_TIMER_MAX 

pub const ledc_timer_t_LEDC_TIMER_MAX: ledc_timer_t = 4;