pub const dead_tilde: u32 = 0xfe53; // 65_107u32