static int ai_approximateIndexedNodesCount(S s) {
  ret l(ai_expandShortenedKeys(ai_shortenForIndex(s)));
}