PASS tmul_2exp (exit status: 0)