Constant RTCIO_GPIO32_CHANNEL 

pub const RTCIO_GPIO32_CHANNEL: u32 = 9;