Constant RTCIO_GPIO15_CHANNEL 

pub const RTCIO_GPIO15_CHANNEL: u32 = 13;