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