static S ai_post(T3<S> t) {
  ret ai_postTriple(t);
}

static S ai_post(S a, S b, S c) {
  ret ai_postTriple(a, b, c);
}