with text_io, Incr; use text_io;
procedure IncrProba is
	n: INTEGER := 6;
begin
	Incr(n); Incr(n,1); Incr(n,2);
	Incr(i=>n); Incr(i=>n,d=>2); Incr (d=>2,i=>n);
	Incr(n,d=>2);
	Put_Line("vegul n = " & integer'image(n));
end IncrProba;