static TripleIndex tripleIndex_instance;

static TripleIndex tripleIndex() {
  if (tripleIndex_instance == null) {
    tripleIndex_instance = addVirtualNodeIndex(new TripleIndex);
    tripleIndex_instance.activate();
  }
  ret tripleIndex_instance;
}