Constant GPIO_PIN33_CONFIG 

pub const GPIO_PIN33_CONFIG: u32 = 3;