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