deferred class
	BASE

feature -- Access

	test_a: !STRING
		deferred
		end

end