class TEST1

feature

	make is
		local
			b: B
		do
			b := a
		end

	a: A

end