Constant RTCIO_GPIO2_CHANNEL 

pub const RTCIO_GPIO2_CHANNEL: u32 = 12;