BIT70             133 src/dps8/dps8_hw_consts.h #  define BIT70           (construct_128 (040U, 0U))
BIT70             150 src/dps8/dps8_hw_consts.h #  define BIT70           ((word72)1U << 69)