indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	A_REF

feature
	fun1, fun2, fun3, fun4: DOUBLE
end