void tee_fprintf ( FILE * file , const char * fmt , ... ) {
 va_list args ;
 va_start ( args , fmt ) ;
 ( void ) vfprintf ( file , fmt , args ) ;
 va_end ( args ) ;
 if ( opt_outfile ) {
 va_start ( args , fmt ) ;
 ( void ) vfprintf ( OUTFILE , fmt , args ) ;
 va_end ( args ) ;
 }
 }
void tee_fprintf ( FILE * file , const char * fmt , ... ) {
 va_list args ;
 va_start ( args , fmt ) ;
 ( void ) vfprintf ( file , fmt , args ) ;
 va_end ( args ) ;
 if ( opt_outfile ) {
 va_start ( args , fmt ) ;
 ( void ) vfprintf ( OUTFILE , fmt , args ) ;
 va_end ( args ) ;
 }
 }