__int128_t        215 src/dps8/dps8.h typedef __int128_t   word72s;
__int128_t        219 src/dps8/dps8.h typedef __int128_t   int128;
__int128_t       5165 src/dps8/dps8_ins.c             __int128_t prod = (__int128_t) t0 * (__int128_t) t1;
__int128_t       9708 src/dps8/dps8_ins.c