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