testsuite/gnat.dg/iter2.ads

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