Constant CPU_GPIO_OUT3_IDX 

pub const CPU_GPIO_OUT3_IDX: u32 = 31;