gcc/testsuite/gnat.dg/predicate13.adb

package body Predicate13 is
    procedure Dummy is null;
end Predicate13;