static S ctxREToJavaRE(S s) {
  ret s.replace("_", "\\b")
    .replaceFirst("<MATCH1>", "(?<M1>")
    .replaceFirst("<MATCH2>", "(?<M2>")
    .replaceFirst("<MATCH3>", "(?<M3>")
    .replaceFirst("<MATCH4>", "(?<M4>")
    .replaceFirst("<MATCH5>", "(?<M5>")
    .replaceAll("<MATCH\\d+>", "(")
    .replaceAll("<\\\\MATCH\\d+>", ")");
}