#ifndef BENCH_H
#define BENCH_H

extern int bench_sched_messaging(int argc, const char **argv,
				 const char *prefix);
extern int bench_sched_pipe(int argc, const char **argv,
			    const char *prefix);

#endif