void MAIN_setStatsFilename(const char* statsFilename) { OPT_setStringValue(STATSFILENAME_VALUE, statsFilename); }
void MAIN_setParseTableName(const char* parseTableName) { OPT_setStringValue(PARSETABLENAME_VALUE, parseTableName); }
void MAIN_setOutputFileName(const char* outputFileName) { OPT_setStringValue(OUTPUTFILENAME_VALUE, outputFileName); }
void MAIN_setInputFileName(const char* inputFileName) { OPT_setStringValue(INPUTFILENAME_VALUE, inputFileName); }
void PARSER_setDebugFilename(const char *filename) { OPT_setStringValue(DEBUGFILENAME_VALUE, filename); }