class
	E

inherit
	D

	C
		redefine
			last_string
		end

feature

	last_string: detachable STRING

end