static O owner;

static S ai_postTriple(T3<S> t) {
  ret ai_postTriple(t.a, t.b, t.c);
}

static S ai_postTriple(S a, S b, S c) {
  ret (S) call(owner, 'ai_postTriple, a, b, c);
}

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

static void ai_spec_init() {
  if (owner == null) owner = creator();
}