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