// returns from C to C
static T3<S> jextractWithRests(S pat, S s) {
  ret jextractWithRests(pat, javaTok(s));
}

static T3<S> jextractWithRests(S pat, L<S> tok) {
  L<S> tokpat = javaTok(pat);
  jfind_preprocess(tokpat);
  int i = jfind(tok, tokpat);
  if (i < 0) null;
  int j = i + l(tokpat) - 2;
  ret t3(joinSubList(tok, 0, i), joinSubList(tok, i, j), joinSubList(tok, j));
}