1pragma Restrictions (No_Exception_Propagation);
2package no_exc_prop is
3   protected Simple_Barrier is
4      entry Wait;
5      procedure Signal;
6   private
7         Signaled : Boolean := False;
8   end Simple_Barrier;
9end no_exc_prop;
10