// f : Matcher -> S
static S regexReplaceIC(S s, S pat, O f) {
  ret regexReplace(regexpMatcherIC(pat, s), f);
}