static S postDerived(TripleWeb w, S a, S b, S c) ctex {
  temp temp_ai_setMaker(w.source());
  temp tempSetThreadLocal(ai_postTriple_verified, w.verified());
  ret post(a, b, c);
}