let var x:int := 0 var y:int := 1 var z:int := 2 in for x := 0 to 6 do ( y := y + x ); y end