class TEST1

feature

	item alias "[]" (i: INTEGER): STRING
		do

		end

end