-void xbt_log_exit(void);
-void xbt_fifo_exit(void);
-void xbt_dict_exit(void);
+void xbt_log_postexit(void);
+
+void xbt_fifo_preinit(void);
+void xbt_fifo_postexit(void);
+void xbt_dict_preinit(void);
+void xbt_dict_postexit(void);
+
+void xbt_os_thread_mod_preinit(void);
+void xbt_os_thread_mod_postexit(void);
+
+void *mmalloc_preinit(void);
+void mmalloc_postexit(void);
+
+extern int smx_cleaned;
+extern int xbt_initialized;
+