pub const XK_Cyrillic_de: u32 = 1732;