version 1.2, 2005/06/16 05:07:24 |
version 1.4, 2015/10/10 11:29:46 |
|
|
/* $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.3 2013/11/07 07:29:47 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" |
extern int OXprintMessage; |
extern int OXprintMessage; |