gcc/testsuite/gnat.dg/aggr9.ads

with Aggr9_Pkg; use Aggr9_Pkg;

package Aggr9 is

  procedure Proc (X : R1);

end Aggr9;