pub const Ubelowdot: u32 = 0x1001ee4; // 16_785_124u32