pub const Hangul_Hieuh: u32 = 0xebe; // 3_774u32