const char *MAIN_getStatsFileName() { return OPT_getStringValue(STATSFILENAME_VALUE); }
const char *MAIN_getParseTableName() { return OPT_getStringValue(PARSETABLENAME_VALUE); }
const char *MAIN_getOutputFileName() { return OPT_getStringValue(OUTPUTFILENAME_VALUE); }
const char *MAIN_getInputFileName() { return OPT_getStringValue(INPUTFILENAME_VALUE); }
const char *PARSER_gerDebugFilename() { return OPT_getStringValue(DEBUGFILENAME_VALUE); }