class A2 [G -> C]

inherit

	A
		redefine
			a
		end

feature

	a: ARRAY [B2 [G]]

end