Constant GPIO_WLAN_ACTIVE_IDX 

pub const GPIO_WLAN_ACTIVE_IDX: u32 = 19;