Constant KEY_RED 

pub const KEY_RED: c_int = 0x18e;