Constant OT_CHANNEL_13_MASK 

pub const OT_CHANNEL_13_MASK: u32 = 8192;