class A

feature {A} -- Implementation

	a: ANY assign put_a

	put_a (v: like a) is
		do
		end

end