Index: doc/generic_types/evaluation/cfa-bench.c
===================================================================
--- doc/generic_types/evaluation/cfa-bench.c	(revision 4ae83a4bc9920196378e600c9ad291389d0f46e5)
+++ doc/generic_types/evaluation/cfa-bench.c	(revision 9a9a5c4c85dd30bdcdd379c84b8cd70ea9271184)
@@ -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 4ae83a4bc9920196378e600c9ad291389d0f46e5)
+++ doc/generic_types/evaluation/timing.dat	(revision 9a9a5c4c85dd30bdcdd379c84b8cd70ea9271184)
@@ -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