--  { dg-do compile }

package body Aspect2 is
    procedure Foo is null;
end Aspect2;