Index: src/examples/assert.c
===================================================================
--- src/examples/assert.c	(revision 1f2061deae59946b338228b2102666485a94c320)
+++ src/examples/assert.c	(revision 1f2061deae59946b338228b2102666485a94c320)
@@ -0,0 +1,14 @@
+// "./cfa-cpp -c rodolfo2.c"
+
+extern "C" {
+    #include <assert.h>
+}
+
+int a = 7;
+
+void f() {
+    int b;
+    b = a;
+    int a = 8;
+    assert( b == 7 );
+}
Index: src/examples/rodolfo1.c
===================================================================
--- src/examples/rodolfo1.c	(revision f38c8d94493ef2254722f48dd70834655bee1b7a)
+++ 	(revision )
@@ -1,7 +1,0 @@
-// "./cfa-cpp -c rodolfo1.c"
-
-void f() {
-	int a, b = 4, c = 5;
-	a = b + c;
-	int d = a + 7;
-}
Index: src/examples/rodolfo2.c
===================================================================
--- src/examples/rodolfo2.c	(revision f38c8d94493ef2254722f48dd70834655bee1b7a)
+++ 	(revision )
@@ -1,14 +1,0 @@
-// "./cfa-cpp -c rodolfo2.c"
-
-extern "C" {
-    #include <assert.h>
-}
-
-int a = 7;
-
-void f() {
-    int b;
-    b = a;
-    int a = 8;
-    assert( b == 7 );
-}
Index: src/examples/square.cf
===================================================================
--- src/examples/square.cf	(revision f38c8d94493ef2254722f48dd70834655bee1b7a)
+++ 	(revision )
@@ -1,20 +1,0 @@
-// './cfa square.c'
-
-#undef __cplusplus
-extern "C" {
-#include <stdio.h>
-}
-
-forall( type T | { T ?*?( T, T ); })
-T
-square( T t )
-{
-  return t * t;
-}
-
-int
-main()
-{
-  printf( "result of square of 5 is %d\n", square( 5 ) );
-  return 0;
-}