-void xbt_log_init(int *argc,char **argv);
-void xbt_log_exit(void);
+void xbt_backtrace_preinit();
+void xbt_backtrace_postexit();
+
+void xbt_log_preinit();
+void xbt_log_init(int *argc, char **argv);
+void xbt_log_postexit();
+
+void xbt_fifo_preinit();
+void xbt_fifo_postexit();
+void xbt_dict_preinit();
+void xbt_dict_postexit();
+
+void xbt_os_thread_mod_preinit();
+void xbt_os_thread_mod_postexit();
+
+void *mmalloc_preinit();
+void mmalloc_postexit();
+
+extern int smx_cleaned;
+extern int xbt_initialized;