-- { dg-do run }

with Aggr14_Pkg; use Aggr14_Pkg;

procedure Aggr14 is
begin
  Proc;
end;