Constant SOC_LEDC_TIMER_NUM 

pub const SOC_LEDC_TIMER_NUM: u32 = 4;