pub const XK_hebrew_doublelowline: u32 = 3295; // 3_295u32