Constant CPU_GPIO_OUT4_IDX 

pub const CPU_GPIO_OUT4_IDX: u32 = 32;