prod             4807 src/dps8/dps8_ins.c             int128 prod = multiply_s128 (
prod             4810 src/dps8/dps8_ins.c             convert_to_word36 (cast_128 (prod), &cpu.rA, &cpu.rQ);
prod             4815 src/dps8/dps8_ins.c             __int128_t prod = (__int128_t) t0 * (__int128_t) t1;
prod             4817 src/dps8/dps8_ins.c             convert_to_word36 ((word72)prod, &cpu.rA, &cpu.rQ);