Constant RTCIO_CHANNEL_10_GPIO_NUM 

pub const RTCIO_CHANNEL_10_GPIO_NUM: u32 = 4;