class TEST4
feature
	c: INTEGER
	   once ("OBJECT")
	   end

end