MASK71            144 src/dps8/dps8_hw_consts.h #  define MASK71          (construct_128 (0177U, MASK64))
MASK71            160 src/dps8/dps8_hw_consts.h #  define MASK71          (((word72)1U << 71) - 1U)