Constant GPIO_PIN39_CONFIG 

pub const GPIO_PIN39_CONFIG: u32 = 3;