__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