Constant RTCIO_GPIO33_CHANNEL 

pub const RTCIO_GPIO33_CHANNEL: u32 = 8;