redirect_io
redirect_io(stdout_file, (char*)NULL);
redirect_io(stdout_file, stderr_file);
extern void redirect_io(char *, char *);