+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;
+
+SG_END_DECL
+
+#endif