MASK72            142 src/dps8/dps8_hw_consts.h #  define MASK72          (construct_128 (0377U, MASK64))
MASK72            158 src/dps8/dps8_hw_consts.h #  define MASK72          (((word72)1U << 72) - 1U)