class A

feature {NONE} -- Tests

	a: TEST assign set_a

	get_a: TEST is
		do
		end

	set_a (v: like a) is
		do
		end

end