Constant GPIO_PIN38_CONFIG 

pub const GPIO_PIN38_CONFIG: u32 = 3;