pub const Hangul_EU: u32 = 0xed1; // 3_793u32