static S ocr_unescape(S s) {
  new StringBuilder buf;
  for i over s: {
    if (s.charAt(i) == '\\' && i+1 < l(s)) { // parse escaped character
      ++i;
    }
    buf.append(s.charAt(i));
  }
  ret str(buf);
}