private void escaped_write(java.lang.String str) throws IOException {
   for (int i = 0; i < str.length(); i++) {
     char c = str.charAt(i);
     if (c == '\n') {
       bw.write("\\n");
     } else if (c == '\\') {
       bw.write("\\\\");
     } else if (c < ' ' || c > '~') {
       int val = c;
       bw.write("\\#");
       bw.write(java.lang.Integer.toString(val));
       bw.write(';');
     } else {
       bw.write(c);
     }
   }
 }