pub const XKB_KEY_XF86Switch_VT_12: u32 = 0x1008FE0C;