__int128_t        206 src/dps8/dps8.h typedef __int128_t   word72s;
__int128_t        210 src/dps8/dps8.h typedef __int128_t   int128;
__int128_t       4835 src/dps8/dps8_ins.c             __int128_t prod = (__int128_t) t0 * (__int128_t) t1;
__int128_t       9378 src/dps8/dps8_ins.c