/* do not include execinfo.h directly since it's not always available.
Instead, copy the parts we need (and fake when it's not there) */
-extern int backtrace (void **__array, int __size);
+XBT_PUBLIC(int) backtrace (void **__array, int __size);
/* required ISO-C standard facilities */
#include <errno.h>
/* the exception context */
typedef ex_ctx_t *(*ex_ctx_cb_t)(void);
-extern ex_ctx_cb_t __xbt_ex_ctx;
+extern ex_ctx_cb_t XBT_PUBLIC_DATA __xbt_ex_ctx;
extern ex_ctx_t *__xbt_ex_ctx_default(void);
/* the termination handler */
typedef void (*ex_term_cb_t)(xbt_ex_t *);
-extern ex_term_cb_t __xbt_ex_terminate;
+extern ex_term_cb_t XBT_PUBLIC_DATA __xbt_ex_terminate;
extern void __xbt_ex_terminate_default(xbt_ex_t *e);
/** @brief Introduce a block where exception may be dealed with