static S ctxREToJavaRE(S s) {
  ret s.replace("_", "\\b")
    .replaceAll("<(MATCH\\d+)>", "(?<$1>")
    .replaceAll("<\\\\MATCH\\d+>", ")");
}