Constant RTCIO_GPIO35_CHANNEL 

pub const RTCIO_GPIO35_CHANNEL: u32 = 5;