sS firstUnusedCountingDollarVar(S text) {
  ret firstCountingDollarVarNotInSet(allDollarVarsInText(text));
}