pub const Hangul_AraeAE: u32 = 0xef7; // 3_831u32