procedure Proc is
   function F (I : Integer) return Integer is
   begin
      return I + 1;
   end;

   function G (I : Integer) return Integer is (I + 1);
   
   procedure P is 
   begin
      null;
   end;
   
   procedure Q is null;
begin
   null;
end;
