with world;
with ada.Text_IO;
use ada.Text_IO;

package world is

   procedure FixWorld(i : Integer);

   task type A is
      entry E;
   end;
end;

package body world is

   procedure FixWorld(i : Integer) is
   begin
      delay 10.0;
   end;

   task body A is
   begin
      FixWorld(10);
      accept E;
   end;

end;

procedure gmain is
   atask : world.A;
begin
   Put_Line("start");
   select
      atask.E;
   or
      delay 5.0;
      abort atask;
      Put_Line("przerwa");
   end select;
   Put_Line("end");
end;