--  { dg-do compile }
--  { dg-options "-gnata" }

package body Predicate7 is
   procedure Foo is null;
end;