static Matcher regexpCtx(S pat, S s) {
  ret regexpIC(ctxREtoJavaRE(pat), s);
}