Index: doc/papers/general/evaluation/cfa-bench.c
===================================================================
--- doc/papers/general/evaluation/cfa-bench.c	(revision fb2ce273bf7ea018ec95cd8701c1ca1eea477a46)
+++ doc/papers/general/evaluation/cfa-bench.c	(revision 28bc8c8060f9366d54baea1d0ac5681a7a636197)
@@ -3,5 +3,5 @@
 #include "cfa-pair.h"
 
-int main( int argc, char * argv[] ) {
+int main() {
 	int max = 0, val = 42;
 	stack( int ) si, ti;
Index: doc/papers/general/evaluation/cfa-stack.c
===================================================================
--- doc/papers/general/evaluation/cfa-stack.c	(revision fb2ce273bf7ea018ec95cd8701c1ca1eea477a46)
+++ doc/papers/general/evaluation/cfa-stack.c	(revision 28bc8c8060f9366d54baea1d0ac5681a7a636197)
@@ -12,5 +12,5 @@
 	stack_node(T) ** crnt = &s.head;
 	for ( stack_node(T) * next = t.head; next; next = next->next ) {
-		*crnt = malloc();
+		*crnt = alloc();
 		((*crnt)->value){ next->value };
 		crnt = &(*crnt)->next;
@@ -31,5 +31,5 @@
 
 forall(otype T) void push( stack(T) & s, T value ) with( s ) {
-	stack_node(T)* n = malloc();
+	stack_node(T)* n = alloc();
 	(*n){ value, head };
 	head = n;
Index: doc/papers/general/evaluation/timing.dat
===================================================================
--- doc/papers/general/evaluation/timing.dat	(revision fb2ce273bf7ea018ec95cd8701c1ca1eea477a46)
+++ doc/papers/general/evaluation/timing.dat	(revision 28bc8c8060f9366d54baea1d0ac5681a7a636197)
@@ -1,10 +1,9 @@
 "400 million repetitions"	"C"	"\\CFA{}"	"\\CC{}"	"\\CC{obj}"
-"push\nint"	2976	2225	1522	3266
-"copy\nnt"	2932	7072	1526	3110
-"clear\nint"	1380	731	750	1488
-"pop\nint"	1444	1196	756	5156
-"push\npair"	3695	2257	953	6840
-"copy\npair"	6034	6650	994	7224
-"clear\npair"	2832	848	742	3297
-"pop\npair"	3009	5348	797	25235
-
+"push\nint"	3002	2459	1520	3305
+"copy\nint"	2985	2057	1521	3152
+"clear\nint"	1374	827	718	1469
+"pop\nint"	1416	1221	717	5467
+"push\npair"	4214	2752	946	6826
+"copy\npair"	6127	2105	993	7330
+"clear\npair"	2881	885	711	3564
+"pop\npair"	3046	5434	783	26538