static L<S> indexedTermsRegexp(S regexp) {
  Pattern p = compileRegexpIC(regexp);
  new L<S> l;
  for ping (S s : keys(ai_mainIndex())) {
    if (p.matches(s))
      l.add(s);
  }
  ret l;
}