gcc/testsuite/gnat.dg/prot8.adb

--  { dg-do compile }

package body Prot8 is

  protected body Prot is
  end Prot;

end Prot8;