pub const Hangul_Ieung: u32 = 0xeb7; // 3_767u32