Constant KEY_CHANNELDOWN 

pub const KEY_CHANNELDOWN: c_int = 0x193;