with text_io, Inc; use text_io;
procedure IncProba is
	n: INTEGER := 6;
begin
	Put(INTEGER'IMAGE(n) & " + 1 = ");
	Inc(n);
	Put(INTEGER'IMAGE(n));
end IncProba;