version 1.3, 2013/11/07 07:29:47 |
version 1.4, 2015/10/10 11:29:46 |
|
|
/* $OpenXM: OpenXM/src/k097/sm1sm.c,v 1.2 2005/06/16 05:07:24 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 <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; |
void *GC_malloc(size_t size); |
|
void *sGC_malloc(size_t size); |
|
|
|
/* server stack machine */ |
/* server stack machine */ |
|
|