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;