lowmask           803 src/dps8/dps8_utils.h     uint64_t lowmask = 0;
lowmask           807 src/dps8/dps8_utils.h         lowmask = MASK64;
lowmask           813 src/dps8/dps8_utils.h         lowmask = ~ ((~(uint64_t)0) << n);
lowmask           815 src/dps8/dps8_utils.h     word72 mask = construct_128 (highmask, lowmask);