gcc/testsuite/gnat.dg/aggr25.adb

--  { dg-do compile }

package body Aggr25 is

  procedure Foo is null;

end Aggr25;