class AA

create

	make

feature

	make
		local
			b: BB
			i: INTEGER
		do
			create b.make (2)
			i := + b
			print ("Failed")
		end

end