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