static int ai_indexSize() {
  ret ai_mainIndex().keysSize();
}