ubuntu-buildroot/output/build/host-gcc-initial-11.4.0/gcc/testsuite/gnat.dg/prot5_pkg.ads

package Prot5_Pkg is
   protected P is
      function Get_Data return Integer;
      procedure Proc (A : Integer := Get_Data);
   private
      Data : Integer;
   end P;
end Prot5_Pkg;