pub const XF86_Switch_VT_8: u32 = 0x1008fe08; // 269_024_776u32