bench_syscall_basic
int bench_syscall_basic(int argc, const char **argv);
{ "basic", "Benchmark for basic getppid(2) calls", bench_syscall_basic },