Evaluated proc * {a b} {expr $a*$b}