Index: doc/generic_types/evaluation/.gitignore
===================================================================
--- doc/generic_types/evaluation/.gitignore	(revision 75ac87e716832b5dcb047fec95f49eaa8cf0bffb)
+++ doc/generic_types/evaluation/.gitignore	(revision 75ac87e716832b5dcb047fec95f49eaa8cf0bffb)
@@ -0,0 +1,4 @@
+c-bench
+cfa-bench
+cpp-bench
+*.o
Index: doc/generic_types/evaluation/Makefile
===================================================================
--- doc/generic_types/evaluation/Makefile	(revision 7a026ff9fb6fae7e12afeb2fe490474e97daed41)
+++ doc/generic_types/evaluation/Makefile	(revision 75ac87e716832b5dcb047fec95f49eaa8cf0bffb)
@@ -1,3 +1,3 @@
-CFA=cfa
+CFA=my-cfa
 
 # %.o : %.cf
Index: doc/generic_types/evaluation/cfa-stack.c
===================================================================
--- doc/generic_types/evaluation/cfa-stack.c	(revision 7a026ff9fb6fae7e12afeb2fe490474e97daed41)
+++ doc/generic_types/evaluation/cfa-stack.c	(revision 75ac87e716832b5dcb047fec95f49eaa8cf0bffb)
@@ -8,5 +8,5 @@
 
 forall(otype T) void ?{}(stack(T)* s) {
-	?{}( s->head, 0 );
+	?{}( &s->head, 0 );
 }
 
@@ -25,5 +25,5 @@
 
 forall(otype T) void push(stack(T)* s, T value) {
-	s->head = new( value, s->head );
+	s->head = ((stack_node(T)*)malloc()){ value, s->head };
 }