// out: func(L<S> tok, int cIndex) -> S
// condition: func(L<S> tok, int nIndex) -> S  [yeah it's inconsistent]
static S jreplace_dyn(S s, S in, O out) {
  ret jreplace_dyn(s, in, out, null);
}

static S jreplace_dyn(S s, S in, O out, O condition) {
  L<S> tok = javaTok(s);
  jreplace_dyn(tok, in, out, condition);
  ret join(tok);
}

// leaves tok properly tokenized
// returns true iff anything was replaced
static boolean jreplace_dyn(L<S> tok, S in, O out) {
  ret jreplace_dyn(tok, in, out, false, true, null);
}

static boolean jreplace_dyn(L<S> tok, S in, O out, O condition) {
  ret jreplace_dyn(tok, in, out, false, true, condition);
}

static boolean jreplace_dyn(L<S> tok, S in, O out, boolean ignoreCase, boolean reTok, O condition) {
  L<S> tokin = javaTok(in);
  jfind_preprocess(tokin);
  
  S[] toks = toStringArray(codeTokensOnly(tokin));

  boolean anyChange = false;
  for (int n = 0; n < 10000; n++) {
    int i = findCodeTokens(tok, 1, ignoreCase, toks, condition);
    if (i < 0)
      ret anyChange;
    S expansion = cast callF(out, tok, i-1);
    int end = i+l(tokin)-2;
    clearAllTokens(tok, i, end); // C to C
    tok.set(i, expansion);
    if (reTok) // would this ever be false??
      reTok(tok, i, end);
    anyChange = true;
  }
  throw fail("woot? 10000! " + quote(in) + " => " + quote(out));
}

static bool jreplace_debug;