class TEST3 [G]
inherit
	TEST4
		redefine
			c
		end
feature
	c: INTEGER
		$(ROUTINE_MARK)
		end

end