-void xbt_log_init(int *argc, char **argv);
-void xbt_log_exit(void);
-void xbt_fifo_exit(void);
-void xbt_dict_exit(void);
+void xbt_log_preinit(void);
+void xbt_log_postexit(void);
+
+void xbt_dict_preinit(void);
+void xbt_dict_postexit(void);
+
+void *mmalloc_preinit(void);
+void mmalloc_postexit(void);
+
+extern int smx_cleaned;
+extern int xbt_initialized;