class ff
feature
	i: integer;
	create is
	do
	from
	i:=0;
	until i = 10
	loop io.putint(i);io.new_line;i:=i+1
	end;
	
	from i :=10
	invariant i >=0 and i <=10
	variant i
	until i = 0
	loop
		io.putint(i);io.new_line;i:=i-1
	end
	end
end