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; }