__uint128_t       243 src/dps8/dps8.h typedef __uint128_t  word72;
__uint128_t       245 src/dps8/dps8.h typedef __uint128_t  word73;
__uint128_t       246 src/dps8/dps8.h typedef __uint128_t  word74;
__uint128_t       247 src/dps8/dps8.h typedef __uint128_t  uint128;
__uint128_t      1212 src/dps8/dps8_scu.c         __uint128_t big = cpu.instrCnt;