private char[] readMarker() throws IOException {
    final StringBuilder buffer = new StringBuilder();
    int nextRead = '0';
    while (nextRead != ' ' && nextRead != SegmentedStream.SPECIAL_SYMBOL) {
      buffer.append((char)nextRead);
      nextRead = readNext();
      if (nextRead == -1) return new char[0];
    }
    return readNext(Integer.valueOf(buffer.toString()).intValue());
  }
private char[] readMarker()