===================================================================
RCS file: /home/cvs/OpenXM/src/k097/sm1sm.c,v
retrieving revision 1.2
retrieving revision 1.5
diff -u -p -r1.2 -r1.5
--- OpenXM/src/k097/sm1sm.c	2005/06/16 05:07:24	1.2
+++ OpenXM/src/k097/sm1sm.c	2020/10/07 23:53:25	1.5
@@ -1,9 +1,13 @@
-/* $OpenXM: OpenXM/src/k097/sm1sm.c,v 1.1 2003/05/14 07:09:48 takayama Exp $ */
+/* $OpenXM: OpenXM/src/k097/sm1sm.c,v 1.4 2015/10/10 11:29:46 takayama Exp $ */
 /* This is imported from kxx/sm1stackmachine.c */
 #include <stdio.h>
 #include <setjmp.h>
+#include <string.h>
+#include <stdlib.h>
 #include "../kxx/ox_kan.h"
 #include "../kxx/serversm.h"
+#include "ox_k0.h"
+
 extern int OXprintMessage;
 
 /*  server stack machine */