pub const XK_Cyrillic_de: u32 = 0x6c4; // 1_732u32