static long numberOfTermsInMainIndex() {
  ret ai_mainIndex().keysSize();
}