Constant RTCIO_GPIO13_CHANNEL 

pub const RTCIO_GPIO13_CHANNEL: u32 = 14;