% 
% The "for" loop.  Another kind of loop construct.
%

%
% Rather than writing the following loop
%
var i: int := 10
loop
	exit when i = 0
	put i
	i := i - 1
end loop
put i

% an alternative program is

for decreasing i: 10..0
	put i
end for