with Ada.Text_io; use Ada.Text_io;

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

   subtype WeekDay is Day range Monday .. Friday;

   package Day_IO is new Enumeration_IO(Day);

   use Day_IO;

begin
   for d in WeekDay'range loop
      put(d);
   end loop;

   put(WeekDay'First);
end enum7;