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