sS firstCountingDollarVarNotInSet(Set<S> set) {
  for (int i = 1; i < Int.MAX_VALUE; i++) {
    S var = "$" + i;
    if (!contains(set, var))
      ret var;
  }
  null;
}