class B

feature {B} -- Implementation

	b: ANY assign put_b

	put_b (v: like b) is
		do
		end

end