Index: src/examples/assert.c
===================================================================
--- src/examples/assert.c	(revision 53a2e97ca573c8d14ddfb7c33e9ee762dec720b9)
+++ src/examples/assert.c	(revision 53a2e97ca573c8d14ddfb7c33e9ee762dec720b9)
@@ -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 843054c23fcb725d2486e5e42e91b3741bc523b8)
+++ 	(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 843054c23fcb725d2486e5e42e91b3741bc523b8)
+++ 	(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 843054c23fcb725d2486e5e42e91b3741bc523b8)
+++ 	(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;
-}