static S ctxREToJavaRE(S s) {
  ret s.replace("_", "\\b");
}