InstantiatedIndex, an alternative RAM store.