% Analysing loops

var i: int := 10;
loop
	exit when i = 0
	put i
	i := i - 1
end loop
put i



% Does this produce a different output?



var i: int := 10;
loop
	put i
	exit when i = 0
	i := i - 1
end loop
put i