pub const XKB_KEY_XF86Terminal: u32 = 0x1008FF80;