-- { dg-do compile }
with Generic_Inst7_Pkg;
procedure Generic_Inst7 is
package Inst is new Generic_Inst7_Pkg;
begin
null;
end Generic_Inst7;