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