task body TestTask is
   begin
      select
         delay 1.0;
         Put_Line("TIMEOUT!");
      then abort
         loop
            null;
         end loop;
      end select;
   end TestTask;