let var x:int := 3 var y:int := 0 in for x := 2 to 5 do y := y + x ; y end