pub const XK_ISO_Group_Lock: u32 = 0xfe07; // 65_031u32