proc add {x y} { expr $x+$y }
proc decr {x {y 1}} { expr $x-$y }
proc sum args { set s 0 foreach i $args { set s [expr $s+$i] } return $s }