sS safeRegexpReplace_direct(S s, S pat, S replacement) {
  Matcher m = safeRegexp(pat, s);
  new StringBuffer buf;
  while (m.find())
    m.appendReplacement(buf, replacement);
  m.appendTail(buf);
  ret str(buf);
}