package Aggr16 is

  procedure Proc;

end Aggr16;