pub const XF86XK_Switch_VT_12: u32 = 0x1008FE0C; // 269_024_780u32