__uint128_t       205 src/dps8/dps8.h typedef __uint128_t  word72;
__uint128_t       207 src/dps8/dps8.h typedef __uint128_t  word73;
__uint128_t       208 src/dps8/dps8.h typedef __uint128_t  word74;
__uint128_t       209 src/dps8/dps8.h typedef __uint128_t  uint128;
__uint128_t      1195 src/dps8/dps8_scu.c         __uint128_t big = cpu.instrCnt;