class
	E

inherit
	D

feature

	last_string: detachable STRING

end