static String quoteRegexp(String s) {
  ret patternQuote(s);
}