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)