static S ocr_unmerge(S s) {
  ret s.replace("_", "");
}