pub const dead_belowverticalline: u32 = 0xfe92; // 65_170u32