static S post(T3<S> t) {
  ifdef TripleAI
  ret ai_postTriple(t);
  endifdef
  ifndef TripleAI
  ret null;
  endifndef
}

static S post(S a, S b, S c) {
  ifdef TripleAI
  ret ai_postTriple(a, b, c);
  endifdef
  ifndef TripleAI
  ret null;
  endifndef
}

static S post(Symbol a, Symbol b, int c) {
  ret post(a, b, symbol(str(c)));
}