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

class
	A

create
	make
feature
	make 
		do 
			a:= 10 
		end

	a: INTEGER
	

end