pub const XF86XK_Switch_VT_1: u32 = 0x1008FE01; // 269_024_769u32