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