pub const XkbExtensionDeviceNotifyMask: u64 = 1 << 11; // 0x0000_0000_0000_0800u64