static ItIt<SS> arbitraryVarsFlexMatchIC_tok_iterator(Set<S> vars, Tok pat, Tok input) {
  new LS usedVars;
  LS starsPat = arbitraryVarsToStars(pat.tok(), vars, usedVars);
  ifdef arbitraryVarsFlexMatchIC_tok_iterator_debug
    printStruct(+starsPat);
  endifdef
  ret mapI(flexMatchIC_tok_iterator(new Tok(starsPat), input),
    m -> matchesToMapUsingVarList_ciMap(m, usedVars));
}