with Ada.Text_io; use Ada.Text_io;

procedure enum5 is

   type Day is (Sunday, Monday, Tuesday, Wednesday, 
                Thursday, Friday, Saturday);

   package Day_IO is new Enumeration_IO(Day);

   use Day_IO;

   c, d: Day;

begin

   c := Friday;
   d := Monday;

   put(Day'min(c, d));

   new_line;

   put(Day'max(c, d));

end enum5;