!7

static O owner;

static S ai_postTriple(T3<S> t) {
  callF(owner, 'postTriple, t.a, t.b, t.c);
}

static L<S> allIndexedFullTerms() {
  ret (L<S>) callF(owner, 'allIndexedFullTerms);
}

p {
  for (S term : allFullIndexedTerms())
    ai_spec_unquote(term);
}