246a247,249
> FILE *stdin;
> FILE *stdout;
> FILE *stderr;
344a348,349
> static FILE *getSTDIO(const char *stream_name,
> const std::string &name, const char *mode);
349a355
> static const std::map<const std::string, FILE *> stdioMap;