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 xbt_dict_preinit(void);
void xbt_dict_postexit(void);
void xbt_os_thread_mod_preinit(void);
void xbt_os_thread_mod_postexit(void);