pub const XK_hebrew_doublelowline: u32 = 0xcdf; // 3_295u32