gcc/testsuite/gnat.dg/aggr23.adb

--  { dg-options "-gnatws" }
--  { dg-do run }

with Aggr23_Q;

procedure Aggr23 is
begin
   Aggr23_Q (2);
end;