--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CbC-examples/fact-rectype.c	Sun Dec 25 04:04:42 2011 +0900
@@ -0,0 +1,32 @@
+#include <stdio.h>
+#define __environment _CbC_environment
+#define __return _CbC_return
+
+__code factorial(int n, int result, __rectype *print, __rectype *exit1, void *envp)
+{
+  if(n<0) {
+    print("#0008:err %dn",n);
+    goto (*exit1)(0, envp);
+  }
+    if (n==0)
+      goto (*print)(n,result,print,exit1, envp);
+    else {
+	result *= n;
+	n--;
+	goto factorial(n, result, print,exit1, envp);
+    }
+}
+
+__code print(int n, int result, __rectype *print ,__rectype *exit1 ,void *envp);
+
+int main(int argc, char *argv[]) {
+  int n;
+  n = 10;
+  goto factorial(n,1,print,__return,__environment);
+}
+
+
+__code print(int n, int result, __rectype *print ,__rectype *exit1,void *envp){
+  printf("#0032:%d = %d\n", n, result);
+  goto (*exit1)(0,envp);
+}