static LS firstNCountingDollarVarsNotInSet(int n, Set<S> set) {
  new LS out;
  int i = 0;
  while (l(out) < n) {
    S var = "$" + ++i;
    if (!contains(set, var))
      out.add(var);
  }
  ret out;
}