let var c:= 30 in for i:=0 to 29 do c:=c-1 end