--  { dg-do compile }

package body Aggr25 is

  procedure Foo is null;

end Aggr25;