// returns from C to C
static S jextract(S pat, S s) {
  ret jextract(pat, javaTok(s));
}

static S jextract(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 joinSubList(tok, i, j);
}