MASK72 142 src/dps8/dps8_hw_consts.h # define MASK72 (construct_128 (0377U, MASK64)) MASK72 158 src/dps8/dps8_hw_consts.h # define MASK72 (((word72)1U << 72) - 1U)