int allocateIndex() {
		if (freeIndexStack.isEmpty()) {
			return nextIndex++;
		}
		return freeIndexStack.pop().intValue();
	}
Allocate a new buffer index.  Exhaust free list before
increasing total index count.
@return assigned index
Ghidra/Framework/DB/src/main/java/db/buffers/IndexProvider.java