Note that there is no such problem when `s2` is a formal argument of the routine:

~~~~~~~~~~~~~~~~
	f (s2: separate STRING)
		do
			s2.to_lower
		end
~~~~~~~~~~~~~~~~

--
Eric Bezault