expanded class SCOOP_UTILITIES

feature

   string_import(s: separate STRING): STRING is
      do
	 if s /= Void then
	    Result ?= s.deep_twin
	 end
      ensure
	 s.is_equal(Result)
      end

end
