__int128_t        192 src/dps8/dps8.h typedef __int128_t   word72s;
__int128_t        196 src/dps8/dps8.h typedef __int128_t   int128;
__int128_t       4815 src/dps8/dps8_ins.c             __int128_t prod = (__int128_t) t0 * (__int128_t) t1;
__int128_t       9356 src/dps8/dps8_ins.c