static int ai_approximateIndexedNodesCount(S s) {
  ret l(cachedNodeIndex().get(s));
}