static Matcher safeRegexpIC(S pat, S s) {
  ret Pattern.compile(pat, Pattern.CASE_INSENSITIVE).matcher(InterruptibleString(s));
}