virtual void welcome(void);
virtual void redirect(char *fname, char *mode);
virtual void un_redirect(void);
virtual FILE *get_out(void) { return(rout?rout:out); }
virtual void welcome(void);
virtual void redirect(char *fname, char *mode);
virtual void un_redirect(void);
virtual FILE *get_out(void) { return(rout?rout:out); }