sbool jcontains(S s, S pat) {
  ret jfind(s, pat) >= 0;
}

sbool jcontains(LS tok, S pat) {
  ret jfind(tok, pat) => 0;
}