static S post_verified(T3<S> t) {
  Bool prev = setThreadLocal(ai_postTriple_verified, true);
  try {
    ret ai_postTriple(t);
  } finally {
    setThreadLocal(ai_postTriple_verified, prev);
  }
}

static S post_verified(S a, S b, S c) {
  ret post_verified(t3(a, b, c));
}