MASK70 140 src/dps8/dps8_hw_consts.h # define MASK70 (construct_128 (0077U, MASK64)) MASK70 156 src/dps8/dps8_hw_consts.h # define MASK70 (((word72)1U << 70) - 1U)