docs: String readNonEscaped() throws IOException {
  		StringBuilder s = new StringBuilder();
  		do {
  			int c = reader.read();
  			if (c < 0) {
  				return s.toString().trim();
  			}
  			if (c == SEPARATOR || c == '\n') {
  				reader.unread(c);
  				return s.toString().trim();
  			} else {
  				s.append((char) c);
  			}
  		} while (true);
  	}