(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
generic_inst4.adb
--  { dg-do compile }

with Generic_Inst4_Inst;
procedure Generic_Inst4 is
begin
   null;
end;