--  { dg-do run }
--  { dg-options "-gnatE -gnatn" }

with Elab7_Pkg1;

procedure Elab7 is
begin
   null;
end Elab7;