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