__int128_t        249 src/dps8/dps8.h typedef __int128_t   word72s;
__int128_t        253 src/dps8/dps8.h typedef __int128_t   int128;
__int128_t       5166 src/dps8/dps8_ins.c             __int128_t prod = (__int128_t) t0 * (__int128_t) t1;
__int128_t       9796 src/dps8/dps8_ins.c