===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/serversm.h,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/kxx/serversm.h	1999/10/08 02:12:13	1.1
+++ OpenXM/src/kxx/serversm.h	2000/02/02 03:30:49	1.2
@@ -13,6 +13,7 @@ int Sm1_pushError2(int serial,int no,char *message);
 char *Sm1_popErrorMessage(char *s);
 void Sm1_getsp(void);
 void Sm1_dupErrors(void);
+void Sm1_pushCMOtag(int serial);
 
 
 /********************  Object from Kan/stackm.h *************************/
@@ -62,4 +63,5 @@ void *KSmathCapByStruct(void);  /* defined plugin/cmo.
 char *popErrorStackByString(void);
 struct object KSdupErrors(void);
 struct object KpoInteger(int i);
+struct object KSpeek(int k);