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)