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