Index: translator/examples/factorial.c
===================================================================
--- translator/examples/factorial.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ 	(revision )
@@ -1,18 +1,0 @@
-//#include <stdio.h>
-
-int
-factorial( int n )
-{
-  if( n ) {
-    return factorial( n - 1 );
-  } else {
-    return 1;
-  }
-}
-
-int
-main()
-{
-  printf( "result is %d\n", factorial( 6 ) );
-  return 0;
-}
Index: translator/examples/forward.c
===================================================================
--- translator/examples/forward.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/forward.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -7,6 +7,5 @@
 struct q *x;
 
-void f()
-{
-	*x;
+void f() {
+    *x;
 }
Index: translator/examples/huge.c
===================================================================
--- translator/examples/huge.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/huge.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -1,7 +1,6 @@
-int huge (int n, forall (type T) T (*f) (T))
-{
-    if (n <= 0)
-	return f(0);
+int huge( int n, forall( type T ) T (*f)( T ) ) {
+    if ( n <= 0 )
+	return f( 0 );
     else
-	return huge (n-1, f(f));
+	return huge( n - 1, f( f ) );
 }
Index: translator/examples/identity.c
===================================================================
--- translator/examples/identity.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/identity.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -1,4 +1,2 @@
-// './cfa identity.c'
-
 extern "C" {
     int printf( const char *fmt, ... );
Index: translator/examples/new.c
===================================================================
--- translator/examples/new.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/new.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -1,15 +1,13 @@
-// "./cfa-cpp -c new.c"
-
 forall( type T )
 void f( T *t ) {
-  t--;
-  *t;
-  ++t;
-  t += 2;
-  t + 2;
-  --t;
-  t -= 2;
-  t - 4;
-  t[7];
-  7[t];
+    t--;
+    *t;
+    ++t;
+    t += 2;
+    t + 2;
+    --t;
+    t -= 2;
+    t - 4;
+    t[7];
+    7[t];
 }
Index: translator/examples/quad.c
===================================================================
--- translator/examples/quad.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/quad.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -1,6 +1,2 @@
-// "./cfa quad.c"
-// "./cfa -CFA quad.c > quad_out.c"
-// "gcc31 -g quad_out.c LibCfa/libcfa.a"
-
 extern "C" {
 #include <stdio.h>
Index: translator/examples/test.c
===================================================================
--- translator/examples/test.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/test.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -1,20 +1,13 @@
-// "cfa -c -o test.o test.c"
-// "cfa -CFA test.c > test_out.c"
-// "gcc31 -c test_out.c -o test.o"
-
 #include "fstream.h"
 #include "vector_int.h"
 
-int
-main()
-{
-  ofstream *sout = ofstream_stdout();
-  vector_int vec = vector_int_allocate();
-  int index;
-  switch(1) {
-  case 1:
-    sout << vec[ index ];
-  }
-  sout << "\n";
-  return 0;
+int main() {
+    ofstream *sout = ofstream_stdout();
+    vector_int vec = vector_int_allocate();
+    int index;
+    switch(1) {
+      case 1:
+	sout << vec[ index ];
+    }
+    sout << "\n";
 }
Index: translator/examples/vector_test.c
===================================================================
--- translator/examples/vector_test.c	(revision 3c70d383ff7630d9cdc9dd98340ba26c715dfeaa)
+++ translator/examples/vector_test.c	(revision ea3eb06e82e92717315fe1ac99f424263976bfdd)
@@ -1,7 +1,2 @@
-// "cfa -c -o vector_test.o vector_test.c"
-// "cfa -CFA vector_test.c > vector_test_out.c"
-// "cfa -E vector_test.c > vector_test_out.c"
-// "gcc31 -c vector_test_out.c -o vector_test.o"
-
 #include "fstream.h"
 #include "vector_int.h"