static SS ciMapWithUnusedCountingDollarVars(Cl<S> keys, S text) {
  LS vars = firstNCountingDollarVarsNotInSet(l(keys), allDollarVarsInText(text));
  ret zipTwoListsToCIMap(keys, vars);
}