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)