+ void writeHeader(const string& headerid, const char *header, long unsigned int size, int actnequi);
+ void * getHeader(const string& headerid);
+ string getOutFileName() { return outFileName.str(); }
+ string getInFileName() { return DATADIR + "/" + openFileDesc.filename; }
+ static unsigned long hash(const string& str);
+ void closeInFile() { inFile.close(); }
+ int inFilesLeft() { return inFiles.size(); }
+ char* getConfigMem() { return configMem; }
+ int getConfigSize() { return configSize; }
+ bool isOutFileOpen () { return outFile.is_open(); }