Chris@19: /* not worth copyrighting */
Chris@19: #include "bench.h"
Chris@19: 
Chris@19: /* default routine, can be overridden by user */
Chris@19: void bench_exit(int status)
Chris@19: {
Chris@19:      exit(status);
Chris@19: }