static void postWithSource(T3<S> triple, S source) {
  S old = ai_setMaker(source);
  try {
    ai_postTriple(triple);
  } finally {
    ai_setMaker(old);
  }
}

static void postWithSource(S a, S b, S c , S source) {
  postWithSource(t3(a, b, c), source);
}