svoid bench_jfind(LS tok, S pat) {
  jfind(tok, pat);
}