Constant RTCIO_GPIO12_CHANNEL 

pub const RTCIO_GPIO12_CHANNEL: u32 = 15;