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

class
	B_REF

feature -- Status
	t1, t2, t32, t4: A

end