pub const XF86XK_Switch_VT_4: u32 = 0x1008FE04; // 269_024_772u32