class
	TEST1

feature
	make is
		local
			s: STRING
		do
			s.do_nothing
		end

end