--  { dg-do compile }

package body Prot8 is

  protected body Prot is
  end Prot;

end Prot8;