void xbt_backtrace_preinit();
void xbt_backtrace_postexit();
-void xbt_log_preinit();
+void xbt_log_preinit(void);
void xbt_log_init(int *argc, char **argv);
-void xbt_log_postexit();
+void xbt_log_postexit(void);
-void xbt_fifo_preinit();
-void xbt_fifo_postexit();
-void xbt_dict_preinit();
-void xbt_dict_postexit();
+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 xbt_os_thread_mod_postexit();
+void xbt_os_thread_mod_preinit(void);
+void xbt_os_thread_mod_postexit(void);
-void *mmalloc_preinit();
-void mmalloc_postexit();
+void *mmalloc_preinit(void);
+void mmalloc_postexit(void);
extern int smx_cleaned;
extern int xbt_initialized;