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