Constant LEDC_HS_SIG_OUT0_IDX 

pub const LEDC_HS_SIG_OUT0_IDX: u32 = 71;