pub const XKB_KEY_XF86Switch_VT_4: u32 = 269024772;