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

procedure OneInt is

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

   Index : INTEGER;           -- A simple Integer type

begin

   Index := 23;
   Put("The value of Index is");
   Put(Index);                -- The default field width is 6 columns
   New_Line;
   Index := Index + 12;
   Put("The value of Index is");
   Put(Index,8);
   New_Line;

end OneInt;




-- Result of execution

-- The value of Index is    23
-- The value of Index is      35