BIT68 131 src/dps8/dps8_hw_consts.h # define BIT68 (construct_128 (010U, 0U)) BIT68 148 src/dps8/dps8_hw_consts.h # define BIT68 ((word72)1U << 67)