__uint128_t       214 src/dps8/dps8.h typedef __uint128_t  word72;
__uint128_t       216 src/dps8/dps8.h typedef __uint128_t  word73;
__uint128_t       217 src/dps8/dps8.h typedef __uint128_t  word74;
__uint128_t       218 src/dps8/dps8.h typedef __uint128_t  uint128;
__uint128_t      1204 src/dps8/dps8_scu.c         __uint128_t big = cpu.instrCnt;