Constant KEY_CHANNELDOWN 

pub const KEY_CHANNELDOWN: u32 = 403 /* 403u32 */;