--- a/paper/rectype.ind	Thu Jun 14 20:45:37 2012 +0900
+++ b/paper/rectype.ind	Thu Jun 14 23:45:05 2012 +0900
@@ -179,7 +179,27 @@
 crucial in UML.
 
 
---recursive type syntax
+--Recursive type syntax
+
+CbC's program pass next pointer of code segment on argument.
+It is passed as follows.
+
+   __code csA( __code (*p)() ) {
+       goto p(csB);
+   }
+
+But, This declarationd is not right.
+Because p have arguments.
+p 
+
+
+
+    __code csA( __code (*p)( __code (*)( __code (*)( __code )))) {
+       goto p(csB);
+    }
+
+
+
 
 We implemented \rectype syntax in CbC on GCC.
 \rectype syntax is declare a recursive type.
@@ -203,13 +223,6 @@
        p(csB);
     }
 
-
-
-    __code csA( __code (*p)( __code (*)( __code (*)( __code )))) {
-       goto p(csB);
-    }
-
-
 --Implementation of \rectype in CbC on GCC