pub const XF86XK_Red: c_uint = 0x1008FFA3;