with Iteral; with text_io; use text_io;
procedure Demo is
	n: INTEGER := 5;
	lszam: NATURAL;

	function Vege ( n: INTEGER ) return BOOLEAN is
		begin return n < 0; end Vege;

	procedure Atalakit ( n: in out INTEGER ) is
	begin
		Put_Line(INTEGER'IMAGE(n));
		n := n-1;
	end Atalakit;

	procedure It is new Iteral(INTEGER,Vege,Atalakit);
begin
	It(n,lszam);
	Put_Line(NATURAL'IMAGE(lszam) & " iteraciot vegeztem.");
end Demo;