procedure Inc ( i: in out INTEGER ) is
begin
	i := i+1;
end Inc;