pub const XKB_KEY_XF86Red: u32 = 0x1008FFA3;