Chris@10: #include <stdlib.h>
Chris@10: #include <stdio.h>
Chris@10: #include <stdarg.h>
Chris@10: #include "bench.h"
Chris@10: 
Chris@10: void ovtpvt(const char *format, ...)
Chris@10: {
Chris@10:      va_list ap;
Chris@10:      
Chris@10:      va_start(ap, format);
Chris@10:      if (verbose >= 0)
Chris@10: 	  vfprintf(stdout, format, ap);
Chris@10:      va_end(ap);
Chris@10:      fflush(stdout);
Chris@10: }
Chris@10: 
Chris@10: void ovtpvt_err(const char *format, ...)
Chris@10: {
Chris@10:      va_list ap;
Chris@10:      
Chris@10:      va_start(ap, format);
Chris@10:      if (verbose >= 0) {
Chris@10: 	  fflush(stdout);
Chris@10: 	  vfprintf(stderr, format, ap);
Chris@10:      }
Chris@10:      va_end(ap);
Chris@10:      fflush(stdout);
Chris@10: }