highmask          804 src/dps8/dps8_utils.h     uint64_t highmask = 0;
highmask          808 src/dps8/dps8_utils.h         highmask = ~ ((~(uint64_t)0) << n);
highmask          809 src/dps8/dps8_utils.h         highmask &= 0377U;
highmask          815 src/dps8/dps8_utils.h     word72 mask = construct_128 (highmask, lowmask);