Index: doc/papers/general/evaluation/cfa-bench.c
===================================================================
--- doc/papers/general/evaluation/cfa-bench.c	(revision 000ff2c54a34aa561f154b1505eebc17721c3c0d)
+++ doc/papers/general/evaluation/cfa-bench.c	(revision e5d4e5c501242024833e1ed47aa37fccc9f78b23)
@@ -1,4 +1,5 @@
 #include <fstream>
 #include <stdlib>
+#include <stdbool.h>
 #include "bench.h"
 #include "cfa-stack.h"
@@ -9,13 +10,13 @@
 	ofstream out = { "/dev/null" };
 	int max = 0, val = 42;
-	stack( int ) si, t;
+	stack( int ) s, t;
 
-	REPEAT_TIMED( "push_int", N, push( si, val ); )
-	TIMED( "copy_int", t = si; )
-	TIMED( "clear_int", clear( si ); )
+	REPEAT_TIMED( "push_int", N, push( s, val ); )
+	TIMED( "copy_int", t = s; )
+	TIMED( "clear_int", clear( s ); )
 	REPEAT_TIMED( "pop_int", N, int x = pop( t ); max = max( x, max ); )
 	REPEAT_TIMED( "print_int", N/2, out | val | ':' | val | endl; )
 
-	pair( _Bool, char ) max = { (_Bool)0, '\0' }, val = { (_Bool)1, 'a' };
+	pair( _Bool, char ) max = { (_Bool)false, '\0' }, val = { (_Bool)true, 'a' };
 	stack( pair( _Bool, char ) ) s, t;