Index: benchmark/ctxswitch/pthreads.c
===================================================================
--- benchmark/ctxswitch/pthreads.c	(revision dc33b5b1d92624f41baf064633127a4075fec592)
+++ benchmark/ctxswitch/pthreads.c	(revision e3bc51c60b9c9b6ea0e677c0358ab2c534e41a95)
@@ -6,12 +6,12 @@
 #include "bench.h"
 
-int main(int argc, char* argv[]) {
+int main( int argc, char * argv[] ) {
+	BENCH_START()
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for (size_t i = 0; i < times; i++) {
 			sched_yield();
 		},
 		result
 	)
-
-	printf("%g\n", result);
+	printf( "%g\n", result );
 }