pub const XF86_Switch_VT_7: u32 = 0x1008fe07; // 269_024_775u32