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

package Iter2
   with SPARK_Mode
is
   function To_String (Name : String) return String;
end Iter2;