package Elab7_Pkg2 is
   pragma Elaborate_Body;

   procedure A;
end Elab7_Pkg2;