PASS tmul_2si (exit status: 0)