SG_BEGIN_DECL()
/* Modules definitions */
-void xbt_backtrace_preinit(void);
-void xbt_backtrace_postexit(void);
void xbt_log_preinit(void);
void xbt_log_init(int *argc, char **argv);
void *mmalloc_preinit(void);
void mmalloc_postexit(void);
-SG_END_DECL()
+extern int smx_cleaned;
+extern int xbt_initialized;
+SG_END_DECL()
#endif /* XBT_MODINTER_H */