pub const XF86XK_Switch_VT_9: u32 = 0x1008FE09; // 269_024_777u32