pub const Greek_accentdieresis: u32 = 0x7ae; // 1_966u32