expanded class TEST4
feature
	n: INTEGER
end