indexing
	description: ""
	date: "$Date$"
	revision: "$Revision$"

class
	A

feature
	a: ANY
	b: INTEGER

end -- class A