with Io;
with Calendar;
procedure Report_Times (Header : in String;  
                        Starting_Wall_Clock_Time : in Calendar.Time;  
                        Ending_Wall_Clock_Time : in Calendar.Time;  
                        Starting_Cpu_Time : in Duration;  
                        Ending_Cpu_Time : in Duration) is
    --
    package Duration_Io is new Io.Fixed_Io (Duration);
    --
    function "-" (This_Time : in Calendar.Time; That_Time : in Calendar.Time)
                 return Duration renames Calendar."-";
    --
    Emphasis : constant String := "***** ";  
    Indent : constant String := "     ";
    --
begin  
    Io.New_Line;  
    Io.Put_Line (Emphasis & Header);  
    Io.Put (Emphasis & Indent & "WALL-CLOCK TIME (IN SECONDS): ");  
    Duration_Io.Put (Ending_Wall_Clock_Time - Starting_Wall_Clock_Time);  
    Io.New_Line;  
    Io.Put (Emphasis & Indent & "CPU TIME (IN SECONDS)       : ");  
    Duration_Io.Put (Ending_Cpu_Time - Starting_Cpu_Time);  
    Io.New_Line (2);  
end Report_Times;