pub const Hangul_PostHanja: u32 = 0xff3b; // 65_339u32