/*-----------------------------------------------------------------------------------
* INRIA 2005 
* Allan CORNET 
*-----------------------------------------------------------------------------------*/
#ifndef __INTGETMEMORY__
#define  __INTGETMEMORY__

#ifdef WIN32
#include <string.h>
#endif

#include "../machine.h"
#include "../stack-c.h"


int getfreememory();
int getmemorysize();
#endif /*__INTGETMEMORY__*/
/*-----------------------------------------------------------------------------------*/