__uint128_t       250 src/dps8/dps8.h typedef __uint128_t  word72;
__uint128_t       252 src/dps8/dps8.h typedef __uint128_t  word73;
__uint128_t       253 src/dps8/dps8.h typedef __uint128_t  word74;
__uint128_t       254 src/dps8/dps8.h typedef __uint128_t  uint128;
__uint128_t      1204 src/dps8/dps8_scu.c         __uint128_t big = cpu.instrCnt;