class
	TEST
 
create
	make
 
feature {NONE} -- Initialization
 
	make
			-- Run application.
		do
			f
		end

	f 
		require
			x: {l: STRING} s
		do
		end

	s: STRING

end