--
--  Example of a program that raises Program_Error
--

procedure E2 is
   x : Integer := 2;
   y : Integer;

   function f return Integer is
   begin
      if x = 1 then
         return 1;
      end if;
   end f;

begin
   y := f;
end E2;