with Aggr9_Pkg; use Aggr9_Pkg;

package Aggr9 is

  procedure Proc (X : R1);

end Aggr9;