version 1.2, 2005/06/16 05:07:24 |
version 1.5, 2020/10/07 23:53:25 |
|
|
/* $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 */ |
/* This is imported from kxx/sm1stackmachine.c */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
#include <string.h> |
|
#include <stdlib.h> |
#include "../kxx/ox_kan.h" |
#include "../kxx/ox_kan.h" |
#include "../kxx/serversm.h" |
#include "../kxx/serversm.h" |
|
#include "ox_k0.h" |
|
|
extern int OXprintMessage; |
extern int OXprintMessage; |
|
|
/* server stack machine */ |
/* server stack machine */ |