1 -- increment_main.adb: a subprocedure with a default argument 2 3 procedure Increment_Main is 4 5 procedure Increment (Counter: in out Integer; By: in Integer:=1) is 6 begin 7 Counter := Counter + By; 8 end Increment; 9 10 X : Integer; 11 12 begin 13 14 Increment (X, 2); 15 Increment (X, 1); 16 Increment (X); 17 Increment (Counter=>X); 18 Increment (Counter=>X, By=>-3); 19 Increment (By=>-3, Counter=>X); 20 Increment (X, By=>4); 21 22 end Increment_Main;