public String apply(String original, int attempt, int size) {
   return Util.first(original, "$f") + size;
 }
 public String apply(String original, int attempt, int size) {
   return Util.first(original, "EXPR$") + attempt;
 }