static S postDerivedFromWeb(Web web, S a, S b, S c) {
  temp temp_ai_setMaker(web.source);
  temp tempSetThreadLocal(ai_postTriple_verified, web.verified());
  post(a, b, c);
}