/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
void *mmalloc_preinit(void);
void mmalloc_postexit(void);
extern int smx_cleaned;
extern int xbt_initialized;
void *mmalloc_preinit(void);
void mmalloc_postexit(void);
extern int smx_cleaned;
extern int xbt_initialized;