pub const XK_Cyrillic_ef: u32 = 1734;