with Stringpack; use Stringpack;
procedure Exception_Demo5 is

   task T1;
   task T2 is
      entry Hallo;
   end T2;

   task body T1 is
   begin
      loop
         T2.Hallo;
      end loop;

   exception
      when Constraint_Error => Print("t1: Fehler in rendezvous");
   end T1;

   task body T2 is
      function F return Natural is begin return 0; end F;
      N: Natural;
   begin
      loop
         accept Hallo do
            N := 1 mod F;     -- 1/0 in Rendezvous
         end Hallo;
      end loop;

   exception
      when Constraint_Error => Print("t2: Fehler in rendezvous");
   end T2;

begin
   null;
end Exception_Demo5;