class AA

create

	make

feature

	make
		local
			b: BB [TUPLE]
			t: TUPLE
		do
			create b
			t := [2]
			b.f (t, t)
		end

end