lowmask           806 src/dps8/dps8_utils.h     uint64_t lowmask = 0;
lowmask           810 src/dps8/dps8_utils.h         lowmask = MASK64;
lowmask           816 src/dps8/dps8_utils.h         lowmask = ~ ((~(uint64_t)0) << n);
lowmask           818 src/dps8/dps8_utils.h     word72 mask = construct_128 (highmask, lowmask);