Constant RTCIO_GPIO4_CHANNEL 

pub const RTCIO_GPIO4_CHANNEL: u32 = 10;