Index: translator/Abstype.c
===================================================================
--- translator/Abstype.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,28 +1,0 @@
-// "cfa-cpp -nx Abstype.c"
-
-type T | { T x( T ); };
-
-T y( T t )
-{
-	T t_instance;
-	return x( t );
-}
-
-forall(type T) lvalue T			*?(                T* );
-int		?++( int *);
-int ?=?( int*, int );
-forall(dtype DT) DT* 		   	?=?(                DT *          *,          DT* );
-
-type U = int*;
-
-U x( U u )
-{
-	U u_instance = u;
-	(*u)++;
-	return u;
-}
-
-int *break_abstraction( U u )
-{
-	return u;
-}
Index: translator/ctxts.c
===================================================================
--- translator/ctxts.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,11 +1,0 @@
-context has_f( type T )
-{
-  T f( T );
-};
-
-context has_g( type U | has_f( U ) )
-{
-  U g( U );
-};
-
-forall( type V | has_g( V ) ) void h( V );
Index: translator/esskaykay.c
===================================================================
--- translator/esskaykay.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,11 +1,0 @@
-// "./cfa-cpp -cn esskaykay.c"
-
-// forall (type A, type B, type C) C ess (C (*f) (A,B), B (*g) (A), A x) { return f(x,g(x)); }
-forall (type A, type B, type C) C ess (C (*(*f)(A))(B), B (*g)(A), A x) { return f(x)(g(x)); }
-
-// forall (type A, type B) A kay (A a, B b) { return a; }
-forall (type A, type B) A (*kay(A a))(B b);
-
-// Now is the following function well-typed, or not?
-
-forall (type A) A esskaykay (A x) { ess (kay, kay, x); }
Index: translator/factorial.c
===================================================================
--- translator/factorial.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(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/forall.c
===================================================================
--- translator/forall.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,46 +1,0 @@
-// "./cfa forall.c"
-
-typedef forall ( type T ) int (*f)( int );
-
-forall( type T )
-    void swap( T left, T right ) {
-	T temp = left;
-	left = right;
-	right = temp;
-    }
-
-context sumable( type T ) {
-    const T 0;
-    T ?+?(T, T);
-    T ?++(T*);
-    [T] ?+=?(T*,T);
-};
-
-forall( type T | sumable( T ) )
-    T sum( int n, T a[] ) {
-	T total = 0;
-	int i;
-	for ( i = 0; i < n; i += 1 )
-	    total = total + a[i];
-	return total;
-    }
-
-forall( type T | { T ?+?(T, T); T ?++(T*); [T] ?+=?(T*,T); } )
-    T twice( T t ) {
-	return t + t;
-    }
-
-forall( type T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
-    T min( T t1, T t2 ) {
-	return t1 < t2 ? t1 : t2;
-    }
-
-int main() {
-    int x = 1, y = 2, a[10];
-    float f;
-
-    swap( x, y );
-    twice( x );
-    f = min( 4.0, 3.0 );
-    sum( 10, a );
-}
Index: translator/forward.c
===================================================================
--- translator/forward.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,12 +1,0 @@
-// "./cfa-cpp -nc forward.c"
-
-forall(type T) lvalue T *?( T* );
-int ?=?( int*, int );
-
-struct q { int y; };
-struct q *x;
-
-void f()
-{
-	*x;
-}
Index: translator/huge.c
===================================================================
--- translator/huge.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,8 +1,0 @@
-int huge (int n, forall (type T) T (*f) (T))
-{
-        if (n <= 0)
-                return f(0);
-        else
-                return huge (n-1, f(f));
-}
-
Index: translator/identity.c
===================================================================
--- translator/identity.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,19 +1,0 @@
-// './cfa identity.c'
-
-extern "C" {
-int printf( const char *fmt, ... );
-}
-
-forall( type T )
-T
-identity( T t )
-{
-  return t;
-}
-
-int
-main()
-{
-  printf( "result of identity of 5 is %d\n", identity( 5 ) );
-  return 0;
-}
Index: translator/it_out.c
===================================================================
--- translator/it_out.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,102 +1,0 @@
-# 1 "iterator.c"
-# 1 "<built-in>"
-# 1 "<command line>"
-# 1 "iterator.c"
-# 1 "iterator.h" 1
-
-
-
-# 1 "iostream.h" 1
-
-
-
-typedef unsigned long streamsize_type;
-
-
-
-context ostream( dtype os_type )
-{
-
-  os_type *write( os_type *, const char *, streamsize_type );
-
-
-  int fail( os_type * );
-};
-
-
-
-
-context writeable( type T )
-{
-  forall( dtype os_type | ostream( os_type ) ) os_type * ?<<?( os_type *, T );
-};
-
-
-
-forall( dtype os_type | ostream( os_type ) ) os_type * ?<<?( os_type *, char );
-forall( dtype os_type | ostream( os_type ) ) os_type * ?<<?( os_type *, int );
-forall( dtype os_type | ostream( os_type ) ) os_type * ?<<?( os_type *, const char * );
-
-
-
-
-context istream( dtype is_type )
-{
-
-  is_type *read( is_type *, char *, streamsize_type );
-
-
-  is_type *unread( is_type *, char );
-
-
-  int fail( is_type * );
-
-
-  int eof( is_type * );
-};
-
-
-
-
-context readable( type T )
-{
-  forall( dtype is_type | istream( is_type ) ) is_type * ?<<?( is_type *, T );
-};
-
-
-
-forall( dtype is_type | istream( is_type ) ) is_type * ?>>?( is_type *, char* );
-forall( dtype is_type | istream( is_type ) ) is_type * ?>>?( is_type *, int* );
-# 5 "iterator.h" 2
-
-
-context iterator( type iterator_type, type elt_type )
-{
-
-  iterator_type ?++( iterator_type* );
-  iterator_type ++?( iterator_type* );
-
-
-  int ?==?( iterator_type, iterator_type );
-  int ?!=?( iterator_type, iterator_type );
-
-
-  lvalue elt_type *?( iterator_type );
-};
-
-
-
-forall( type elt_type | writeable( elt_type ),
-        type iterator_type | iterator( iterator_type, elt_type ),
-        dtype os_type | ostream( os_type ) )
-void write_all( iterator_type begin, iterator_type end, os_type *os );
-# 2 "iterator.c" 2
-
-forall( type elt_type | writeable( elt_type ),
-        type iterator_type | iterator( iterator_type, elt_type ),
-        dtype os_type | ostream( os_type ) )
-void
-write_all( elt_type begin, iterator_type end, os_type *os )
-{
-    os << begin;
-}
Index: translator/min.c
===================================================================
--- translator/min.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,18 +1,0 @@
-// "./cfa min.c"
-// "./cfa -CFA min.c > min_out.c"
-// "gcc32 -g min_out.c LibCfa/libcfa.a"
-
-extern "C" {
-  int printf( const char *, ... );
-}
-
-forall( type T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
-    T min( T t1, T t2 ) {
-	return t1 < t2 ? t1 : t2;
-    }
-
-int main() {
-    float f;
-    f = min( 4.0, 3.0 );
-    printf( "result is %f\n", f );
-}
Index: translator/new.c
===================================================================
--- translator/new.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,16 +1,0 @@
-// "./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];
-}
Index: translator/prolog.c
===================================================================
--- translator/prolog.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,35 +1,0 @@
-// "./cfa prolog.c"
-
-extern "C" { extern int printf( const char *fmt, ... ); }
-
-void printResult( int x ) { printf( "int\n" ); }
-void printResult( double x ) { printf( "double\n" ); }
-void printResult( char * x ) { printf( "char*\n" ); }
-
-void is_arithmetic( int x ) {}
-void is_arithmetic( double x ) {}
-
-void is_integer( int x ) {}
-
-context ArithmeticType( type T )
-{
-  void is_arithmetic( T );
-};
-
-context IntegralType( type T | ArithmeticType( T ) )
-{
-  void is_integer( T );
-};
-
-forall( type T | IntegralType( T ) | { void printResult( T ); } ) void hornclause( T param )
-{
-  printResult( param );
-}
-
-int main()
-{
-  int x;
-  double x;
-  char * x;
-  hornclause( x );
-}
Index: translator/quad.c
===================================================================
--- translator/quad.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,24 +1,0 @@
-// "./cfa quad.c"
-// "./cfa -CFA quad.c > quad_out.c"
-// "gcc31 -g quad_out.c LibCfa/libcfa.a"
-
-#include <stdio.h>
-
-forall( type T | { T ?*?( T, T ); } )
-T square( T t )
-{
-  return t * t;
-}
-
-forall( type U | { U square( U ); } )
-U quad( U u )
-{
-  return square( square( u ) );
-}
-
-int
-main()
-{
-  printf( "result of quad of 5 is %d\n", quad( 5 ) );
-  return 0;
-}
Index: translator/resume-1.cc
===================================================================
--- translator/resume-1.cc	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,39 +1,0 @@
-#include <uC++.h>
-#include <uIOStream.h>
-
-typedef void (*fixup)( int &i, fixup r1, fixup r2 );
-
-void f( int &i, fixup r1, fixup r2 );
-void g( int &i, fixup r1, fixup r2 );
-
-void h1( int &i, fixup r1, fixup r2 ) {
-	i -= 1;
-	uCout << "h1, i:" << i << endl;
-	f( i, r1, r2 );
-}
-void h2( int &i, fixup r1, fixup r2 ) {
-	i -= 2;
-	uCout << "h2, i:" << i << endl;
-	g( i, r1, r2 );
-}
-
-void f( int &i, fixup r1, fixup r2 ) {
-	i -= 1;
-	uCout << "f, i:" << i << endl;
-	if ( i > 0 ) {
-		if ( i % 2 != 0 ) r2(i, r1, r2);
-		g( i, r1, r2 );
-	}
-}
-void g( int &i, fixup r1, fixup r2 ) {
-	i -= 1;
-	uCout << "g, i:" << i << endl;
-	if ( i > 0 ) {
-		f( i );
-		r1(i, r1, r2);
-	}
-}
-void uMain::main() {
-	int i = 20;
-	f( i, h1, h2 );
-}
Index: translator/resume-2.cc
===================================================================
--- translator/resume-2.cc	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,47 +1,0 @@
-#include <uC++.h>
-#include <uIOStream.h>
-
-struct h1;
-struct h2;
-
-void f( int &i, h1 &r1, h2 &r2 );
-void g( int &i, h1 &r1, h2 &r2 );
-
-struct h1 {
-	void operator()( int &i, h1 &r1, h2 &r2 ) {
-		i -= 1;
-		uCout << "h1, i:" << i << endl;
-		f( i, r1, r2 );
-	}
-};
-		
-struct h2 {
-	void operator()( int &i, h1 &r1, h2 &r2 ) {
-		i -= 2;
-		uCout << "h2, i:" << i << endl;
-		g( i, r1, r2 );
-	}
-};
-		
-void f( int &i, h1 &r1, h2 &r2 ) {
-	i -= 1;
-	uCout << "f, i:" << i << endl;
-	if ( i > 0 ) {
-		if ( i % 2 != 0 ) r2(i, r1, r2);
-		g( i, r1, r2 );
-	}
-}
-void g( int &i, h1 &r1, h2 &r2 ) {
-	i -= 1;
-	uCout << "g, i:" << i << endl;
-	if ( i > 0 ) {
-		f( i, r1, r2 );
-		r1(i, r1, r2);
-	}
-}
-void uMain::main() {
-	int i = 20;
-	h1 r1;
-	h2 r2;
-	f( i, r1, r2 );
-}
Index: translator/resume-3.cc
===================================================================
--- translator/resume-3.cc	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,43 +1,0 @@
-#include <uC++.h>
-#include <uIOStream.h>
-
-template< class fixup >
-void f( int &i, fixup r1, fixup r2 );
-template< class fixup >
-void g( int &i, fixup r1, fixup r2 );
-
-template< class fixup >
-void h1( int &i, fixup r1, fixup r2 ) {
-	i -= 1;
-	uCout << "h1, i:" << i << endl;
-	f( i, r1, r2 );
-}
-template< class fixup >
-void h2( int &i, fixup r1, fixup r2 ) {
-	i -= 2;
-	uCout << "h2, i:" << i << endl;
-	g( i, r1, r2 );
-}
-
-template< class fixup >
-void f( int &i, fixup r1, fixup r2 ) {
-	i -= 1;
-	uCout << "f, i:" << i << endl;
-	if ( i > 0 ) {
-		if ( i % 2 != 0 ) r2(i, r1, r2);
-		g( i, r1, r2 );
-	}
-}
-template< class fixup >
-void g( int &i, fixup r1, fixup r2 ) {
-	i -= 1;
-	uCout << "g, i:" << i << endl;
-	if ( i > 0 ) {
-		f( i );
-		r1(i, r1, r2);
-	}
-}
-void uMain::main() {
-	int i = 20;
-	f( i, h1, h2 );
-}
Index: translator/resume-orig
===================================================================
--- translator/resume-orig	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,60 +1,0 @@
-#include <uC++.h>
-#include <uIOStream.h>
-
-uRaiseEvent R1 {
-  public:
-	int &i;
-	R1( int &i ) : i(i) {}
-};
-uInitEvent( R1 );
-
-uRaiseEvent R2 {
-  public:
-	int &i;
-	R2( int &i ) : i(i) {}
-};
-uInitEvent( R2 );
-
-void f( int &i );
-void g( int &i );
-
-void h1( R1 &r ) {
-	r.i -= 1;
-	uCout << "h1, i:" << r.i << endl;
-	f( r.i );
-}
-void h2( R2 &r ) {
-	r.i -= 2;
-	uCout << "h2, i:" << r.i << endl;
-	g( r.i );
-}
-
-void f( int &i ) {
-	i -= 1;
-	uCout << "f, i:" << i << endl;
-	if ( i > 0 ) {
-		try <R1,h1><R2,h2> {
-			if ( i % 2 != 0 ) uRaise R2(i);
-			g( i );
-		}
-	}
-}
-void g( int &i ) {
-	i -= 1;
-	uCout << "g, i:" << i << endl;
-	if ( i > 0 ) {
-		try <R1,h1><R2,h2> {
-			f( i );
-			uRaise R1(i);
-		}
-	}
-}
-void uMain::main() {
-	int i = 20;
-	f( i );
-}
-
-// Local Variables: //
-// tab-width: 4 //
-// End: //
-
Index: translator/resume-orig.cc
===================================================================
--- translator/resume-orig.cc	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,60 +1,0 @@
-#include <uC++.h>
-#include <uIOStream.h>
-
-uRaiseEvent R1 {
-  public:
-	int &i;
-	R1( int &i ) : i(i) {}
-};
-uInitEvent( R1 );
-
-uRaiseEvent R2 {
-  public:
-	int &i;
-	R2( int &i ) : i(i) {}
-};
-uInitEvent( R2 );
-
-void f( int &i );
-void g( int &i );
-
-void h1( R1 &r ) {
-	r.i -= 1;
-	uCout << "h1, i:" << r.i << endl;
-	f( r.i );
-}
-void h2( R2 &r ) {
-	r.i -= 2;
-	uCout << "h2, i:" << r.i << endl;
-	g( r.i );
-}
-
-void f( int &i ) {
-	i -= 1;
-	uCout << "f, i:" << i << endl;
-	if ( i > 0 ) {
-		try <R1,h1><R2,h2> {
-			if ( i % 2 != 0 ) uRaise R2(i);
-			g( i );
-		}
-	}
-}
-void g( int &i ) {
-	i -= 1;
-	uCout << "g, i:" << i << endl;
-	if ( i > 0 ) {
-		try <R1,h1><R2,h2> {
-			f( i );
-			uRaise R1(i);
-		}
-	}
-}
-void uMain::main() {
-	int i = 20;
-	f( i );
-}
-
-// Local Variables: //
-// tab-width: 4 //
-// End: //
-
Index: translator/rodolfo1.c
===================================================================
--- translator/rodolfo1.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,9 +1,0 @@
-// "./cfa-cpp -c rodolfo1.c"
-
-void
-f()
-{
-	int a, b = 4, c = 5;
-	a = b + c;
-	int d = a + 7;
-}
Index: translator/rodolfo2.c
===================================================================
--- translator/rodolfo2.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,10 +1,0 @@
-// "./cfa-cpp -c rodolfo2.c"
-
-int a = 7;
-
-void f() {
-        int b;
-        b = a;
-        int a = 8;
-        assert( b == 7 );
-}
Index: translator/s.c
===================================================================
--- translator/s.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,7 +1,0 @@
-int ?!=?( int, int );
-int 0;
-
-void f()
-{
-  0 ? 4 : 5;
-}
Index: translator/simple.c
===================================================================
--- translator/simple.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,23 +1,0 @@
-// './cfa square.c'
-
-context has_star( type T )
-{
-  T ?*?( T, T );
-};
-
-int ?*?( int, int );
-extern "C" { void printf( const char *, ... ); }
-int ?=?( int*, int );
-
-forall( type T | has_star( T ) )
-T
-square( T t )
-{
-  return t * t;
-}
-
-int
-main()
-{
-  printf( "result of square of 5 is %d\n", square( 5 ) );
-}
Index: translator/simple.out.c
===================================================================
--- translator/simple.out.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,38 +1,0 @@
-struct _ctx_has_star
-{
-    void (*___operator_multiply__PF2tT_2tT2tT_)();
-    void (*_adapterF2tT_2tT2tT_)(void (*)(), void *, void *, void *);
-};
-int ___operator_multiply__Fi_ii_(int , int );
-struct _ctx_has_star _ctx_has_star0 = { ((void (*)())(&___operator_multiply__Fi_ii_)), _adapterF2tT_2tT2tT_ };
-void printf(const char *, ...);
-int ___operator_assign__Fi_Pii_(int *, int );
-void __square__A1_0_0____operator_assign__PF2t0_P2t02t0______ctx_has_star_2t0_F2t0_2t0_(void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), void (*_adapterF2tT_2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, void (*___operator_assign__PF2tT_P2tT2tT_)(), struct _ctx_has_star _ctx_has_star_2tT, void *_retparm, void *__t__2tT)
-{
-    void _adapterF2tT_2tT2tT_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1)
-    {
-        ((*((void *)_ret))=((void *(*)(void *, void *))_adaptee)((*((void *)_p0)), (*((void *)_p1))));
-    }
-
-    _ctx_has_star_2tT._adapterF2tT_2tT2tT_(_ctx_has_star_2tT.___operator_multiply__PF2tT_2tT2tT_, _retparm, __t__2tT, __t__2tT);
-    return ;
-}
-
-int main()
-{
-    int _temp0;
-    int _temp1;
-    (_temp1=5);
-    void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1)
-    {
-        ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
-    }
-
-    void _adapterFi_ii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1)
-    {
-        ((*((int *)_ret))=((int (*)(int , int ))_adaptee)((*((int *)_p0)), (*((int *)_p1))));
-    }
-
-    printf(((const char *)"result of square of 5 is %d\n"), (__square__A1_0_0____operator_assign__PF2t0_P2t02t0______ctx_has_star_2t0_F2t0_2t0_(_adapterFi_Pii_, _adapterFi_ii_, sizeof(int ), ((void (*)())___operator_assign__Fi_Pii_), _ctx_has_star0, (&_temp0), (&_temp1)) , _temp0));
-}
-
Index: translator/simplePoly.c
===================================================================
--- translator/simplePoly.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,17 +1,0 @@
-// './cfa-cpp -nc < simplePoly.c'
-
-forall( type T, type U | { T f( T, U ); } ) T q( T t, U u )
-{
-  return f( t, u );
-//  return t;
-}
-
-int f( int, double* );
-
-void g( void )
-{
-  int y;
-  double x;
-//  if( y )
-    q( 3, &x );
-}
Index: translator/simpler.c
===================================================================
--- translator/simpler.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,9 +1,0 @@
-// "./cfa-cpp -c simpler.c"
-
-forall( type T ) T id( T, T );
-
-int
-main()
-{
-  id( 0, 7 );
-}
Index: translator/specialize.c
===================================================================
--- translator/specialize.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,43 +1,0 @@
-// "./cfa specialize.c"
-// "./cfa -g simple.c"
-// "./cfa -CFA simple.c > simple_out.c"
-
-/// void f( const int * );
-/// 
-/// void m()
-/// {
-///   f( 0 );
-/// }
-
-/// forall( dtype T ) T* f( T* );
-/// void g( int* (*)(int*) );
-/// 
-/// int m() {
-///   g( f );
-/// }
-
-/// void f1( void (*q)( forall( dtype U ) U* (*p)( U* ) ) );
-/// void g1( int* (*)(int*) );
-/// 
-/// int m1() {
-///   f1( g1 );
-/// }
-
-extern "C" {
-  int printf( const char*, ... );
-}
-
-forall( type T ) T f( T t )
-{
-  printf( "in f; sizeof T is %d\n", sizeof( T ) );
-  return t;
-}
-
-void g( int (*p)(int) )
-{
-  printf( "g: f(7) returned %d\n", f(7) );
-}
-
-int main() {
-  g( f );
-}
Index: translator/square.c
===================================================================
--- translator/square.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(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;
-}
Index: translator/square.cf
===================================================================
--- translator/square.cf	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(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;
-}
Index: translator/sum.c
===================================================================
--- translator/sum.c	(revision a0d9f9418e3d60d93ffe3e14a8865ad439ab16d9)
+++ 	(revision )
@@ -1,35 +1,0 @@
-// "./cfa -g sum.c"
-// "./cfa -CFA sum.c > sum_out.c"
-// "gcc32 -g sum_out.c LibCfa/libcfa.a"
-
-extern "C" {
-  int printf( const char *, ... );
-}
-
-context sumable( type T ) {
-    const T 0;
-    T ?+?(T, T);
-    T ?++(T*);
-    [T] ?+=?(T*,T);
-};
-
-forall( type T | sumable( T ) )
-    T sum( int n, T a[] ) {
-	T total = 0;
-	int i;
-	for ( i = 0; i < n; i += 1 )
-	    total = total + a[i];
-	return total;
-    }
-
-int
-main()
-{
-  int a[ 10 ];
-  int i;
-  for( i = 0; i < 10; ++i ) {
-    a[ i ] = i;
-  }
-  printf( "the sum is %d\n", sum( 10, a ) );
-  return 0;
-}