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)