public long getCompressedBytesRead() throws IOException { return dumpReader.getCompressedBytesRead(); }