Constant RTCIO_GPIO39_CHANNEL 

pub const RTCIO_GPIO39_CHANNEL: u32 = 3;