pub const XKB_KEY_XF86HotLinks: u32 = 0x1008FF3A;