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