-- { dg-options "-gnatws" }
-- { dg-do run }
with Aggr23_Q;
procedure Aggr23 is
begin
Aggr23_Q (2);
end;