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