Constant GPIO4_2 

pub const GPIO4_2: u32 = 87;