pub const Hangul_Banja: u32 = 0xff39; // 65_337u32