class
	TEST4

inherit
	TEST1 [INTEGER]

feature

	x: INTEGER is 4

end