void tee_puts ( const char * s , FILE * file ) {
 fputs ( s , file ) ;
 fputc ( '\n' , file ) ;
 if ( opt_outfile ) {
 fputs ( s , OUTFILE ) ;
 fputc ( '\n' , OUTFILE ) ;
 }
 }
void tee_puts ( const char * s , FILE * file ) {
 fputs ( s , file ) ;
 fputc ( '\n' , file ) ;
 if ( opt_outfile ) {
 fputs ( s , OUTFILE ) ;
 fputc ( '\n' , OUTFILE ) ;
 }
 }