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