pub const dead_belowcomma: u32 = 0xfe6e; // 65_134u32