highmask          807 src/dps8/dps8_utils.h     uint64_t highmask = 0;
highmask          811 src/dps8/dps8_utils.h         highmask = ~ ((~(uint64_t)0) << n);
highmask          812 src/dps8/dps8_utils.h         highmask &= 0377U;
highmask          818 src/dps8/dps8_utils.h     word72 mask = construct_128 (highmask, lowmask);