static Pair<Int> ai_countBoth_dollarX(T3<S> t) {
  ret pair(l(ai_search_dollarX_verified(t)), l(ai_search_dollarX(t)));
}