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