class
	TEST2

inherit
	TEST1
		redefine
			b
		end

feature

	b: B

end