deferred class
	D

feature
	last_string: detachable STRING
		deferred
		end

end