code: public static String escape(char c) {
          switch (c) {
              case '\r':
                  return "\\r";
              case '\n':
                  return "\\n";
              case '\t':
                  return "\\t";
              case '\f':
                  return "\\f";
              case Chars.DEL_ERROR:
                  return "DEL_ERROR";
              case Chars.INS_ERROR:
                  return "INS_ERROR";
              case Chars.RESYNC:
                  return "RESYNC";
              case Chars.RESYNC_START:
                  return "RESYNC_START";
              case Chars.RESYNC_END:
                  return "RESYNC_END";
              case Chars.RESYNC_EOI:
                  return "RESYNC_EOI";
              case Chars.INDENT:
                  return "INDENT";
              case Chars.DEDENT:
                  return "DEDENT";
              case Chars.EOI:
                  return "EOI";
              default:
                  return String.valueOf(c);
          }
      }
docs: Replaces carriage returns, newlines, tabs, formfeeds and the special chars defined in {@link Characters}
  with their respective escape sequences.
  
  @param c the character to escape
  @return the escaped string