Constant RTCIO_GPIO0_CHANNEL 

pub const RTCIO_GPIO0_CHANNEL: u32 = 11;