# The last positive result given by a index(1) call
	private var last_index: Int = 0