SIGN72            132 src/dps8/dps8_hw_consts.h #  define SIGN72          (construct_128 (0200U, 0U))
SIGN72            149 src/dps8/dps8_hw_consts.h #  define SIGN72          ((word72)1U << 71)