Constant XF86XK_Red 

pub const XF86XK_Red: c_uint = 0x1008FFA3;