static S ai_text_verified(S a, S b, S c) {
  ai_search_indexedWebs_verified.set(true);
  try {
    ret web_text(ai_index_search_dollarX_first(a, b, c));
  } finally {
    ai_search_indexedWebs_verified.set(null); 
  }
}

static S ai_text_verified(T3<S> t) {
  ret ai_text_verified(t.a, t.b, t.c);
}