t1 5163 src/dps8/dps8_ins.c int64_t t1 = SIGNEXT36_64 (cpu.CY & DMASK); t1 5165 src/dps8/dps8_ins.c __int128_t prod = (__int128_t) t0 * (__int128_t) t1;