with Ada.Real_Time; use Ada.Real_Time;
with Ada.Text_Io;   use Ada.Text_Io;

procedure Atc_Example is
   task Example is
   end Example;

   task body Example is
   begin
      select
         delay 5.0;
         Put_Line("---------->");
      then abort
         loop
            Put_Line ("I'm doing abortable staments");
            delay 1.0;
         end loop;
      end select;
      loop
         Put_Line ("Now I'm here !!!!!");
         delay 1.0;
      end loop;

   end Example;

begin
   null;
end Atc_Example;