Index: doc/generic_types/evaluation/cfa-bench.c
===================================================================
--- doc/generic_types/evaluation/cfa-bench.c	(revision 43a284c086750e7d321152102c857931f351d2c8)
+++ doc/generic_types/evaluation/cfa-bench.c	(revision eb79750f5b67b2ba4b2b6271db089b2f3ab6fae2)
@@ -1,3 +1,2 @@
-#include <stdlib>
 #include <stdio.h>
 #include "bench.h"
Index: doc/generic_types/evaluation/timing.dat
===================================================================
--- doc/generic_types/evaluation/timing.dat	(revision 43a284c086750e7d321152102c857931f351d2c8)
+++ doc/generic_types/evaluation/timing.dat	(revision eb79750f5b67b2ba4b2b6271db089b2f3ab6fae2)
@@ -1,11 +1,11 @@
 "400 million repetitions"	"C"	"\\CFA{}"	"\\CC{}"	"\\CC{obj}"
-"push\nint"	2958	2480	1519	3284
-"copy\nint"	2961	2014	1534	3126
-"clear\nint"	1350	817	722	1459
-"pop\nint"	1386	1174	717	5404
-"print\nint"	5702	6615	3077	3191
-"push\npair"	4160	2648	940	6566
-"copy\npair"	6195	2099	977	7234
-"clear\npair"	2834	863	723	3315
-"pop\npair"	2956	5591	775	26256
-"print\npair"	7498	10804	8750	16638
+"push\nint"	3002	2459	1520	3305
+"copy\nint"	2985	2057	1521	3152
+"clear\nint"	1374	827	718	1469
+"pop\nint"	1416	1221	717	5467
+"print\nint"	5656	6758	3120	3121
+"push\npair"	4214	2752	946	6826
+"copy\npair"	6127	2105	993	7330
+"clear\npair"	2881	885	711	3564
+"pop\npair"	3046	5434	783	26538
+"print\npair"	7514	10714	8717	16525