class TEST2
feature
	x: INTEGER

end