pub const XF86XK_Switch_VT_10: u32 = 0x1008FE0A; // 269_024_778u32