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)