class D
inherit
	C
		redefine c, e end
feature
	c: C
	e: C
end