===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/sm1stackmachine.c,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- OpenXM/src/kxx/sm1stackmachine.c	2015/10/10 11:29:46	1.8
+++ OpenXM/src/kxx/sm1stackmachine.c	2020/10/07 07:47:23	1.9
@@ -8,6 +8,15 @@ extern char *MsgStackTrace;
 extern char *MsgSourceTrace;
 extern struct object *MsgStackTraceInArrayp;
 
+void KSstart(); // kan96xx/Kan/datatype.h
+int KSexecuteString(char *s); // kan96xx/Kan/datatype.h
+int Kan_pushCMOFromStream(FILE2 *fp); //kan96xx/Kan/plugin.h
+int Kan_popCMOToStream(FILE2 *fp,int serial); //
+int KgetCmoTagOfObject(struct object obj);    //
+int KSstackPointer(void); //kan96xx/Kan/extern.h
+int Kan_setMathCapToStream(FILE2 *fp,struct object ob); // kan96xx/plugin/cmo.c
+
+
 /*  server stack machine */
 
 int Sm1_start(int argc, char *fnames[],char *myname) {