BIT71 134 src/dps8/dps8_hw_consts.h # define BIT71 (construct_128 (0100U, 0U)) // next to the sign bit BIT71 151 src/dps8/dps8_hw_consts.h # define BIT71 ((word72)1U << 70) // next to the sign bit