1with Aggr9_Pkg; use Aggr9_Pkg;
2
3package Aggr9 is
4
5  procedure Proc (X : R1);
6
7end Aggr9;
8