BIT73             135 src/dps8/dps8_hw_consts.h #  define BIT73           (construct_128 (0400U, 0U)) // carry out bit from 72 bit arithmetic
BIT73             152 src/dps8/dps8_hw_consts.h #  define BIT73           ((word72)1U << 72)       // carry out bit from 72 bit arithmetic