pub const REGULAR_MASK: u128 = 0x0fffffffffffffff;
Mask preserving the low 60 bits of a 65-bit regular-code residue.