-- Chapter 8 - Program 3
with Text_IO;
use Text_IO;

procedure Proced3 is

   package Int_IO is new Text_IO.Integer_IO(INTEGER);
   use Int_IO;

   Dogs, Cats, Animals : INTEGER;

                             -- This is a procedure specification
   procedure Total_Number_Of_Animals(Variety1 : in     INTEGER;
                                     Variety2 : in     INTEGER;
                                     Total    :    out INTEGER);

                             -- This is a procedure body
   procedure Total_Number_Of_Animals(Variety1 : in     INTEGER;
                                     Variety2 : in     INTEGER;
                                     Total    :    out INTEGER) is
   begin
      Total := Variety1 + Variety2;
   end Total_Number_Of_Animals;

begin
   Dogs := 3;
   Cats := 4;
   Total_Number_Of_Animals(Dogs,Cats,Animals);
   Put("The total number of animals is");
   Put(Animals);
   New_Line;
end Proced3;




-- Result of execution

-- The total number of animals is     7