pub const XF86_Switch_VT_12: u32 = 0x1008fe0c; // 269_024_780u32