__int128_t        251 src/dps8/dps8.h typedef __int128_t   word72s;
__int128_t        255 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       9786 src/dps8/dps8_ins.c