static void ai_reuseTripleIndex(O index) {
  copyAllFields(index, tripleIndex());
}