static S regexpReplaceWithNothing(S pat, S s) {
  Matcher m = regexpIC(pat, s);
  new StringBuffer buf;
  while (m.find())
    m.appendReplacement(buf, "");
  m.appendTail(buf);
  ret str(buf);
}