static TripleIndex tripleIndex_instance;

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