--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CbC-examples/fact-a.c	Tue Sep 20 17:32:20 2011 +0900
@@ -0,0 +1,36 @@
+#define __environment _CbC_environment
+#define __return _CbC_return
+
+#include "stdio.h"
+
+__code factorial(int n,int result,int orig,__code(*print)(),__code(*exit1)(), void *exit1env)
+{
+    if (n<0) {
+	printf("#0008:err %d!\n",n);
+	goto (*exit1)(0,exit1env);
+    }
+    if (n==0)
+	goto (*print)(n,result,orig,print,exit1,exit1env);
+    else {
+	result *= n;
+	n--;
+	goto factorial(n,result,orig,print,exit1,exit1env);
+    }
+}
+
+__code print(int n,int result,int orig,__code(*print)(),__code (*exit1)(),void*exit1env);
+
+int main( int ac, char *av[])
+{
+    int n;
+    // n = atoi(av[1]);
+    n = 10;
+    goto factorial(n,1,n,print,__return,__environment);
+}
+
+__code print(int n,int result,int orig,__code(*print)(),__code (*exit1)(),void*exit1env)
+{
+    printf("#0032:%d! = %d\n",orig, result);
+    goto (*exit1)(0,exit1env);
+}
+