init_context->exception = xbt_new(ex_ctx_t, 1);
XBT_CTX_INITIALIZE(init_context->exception);
__xbt_ex_ctx = __context_ex_ctx;
init_context->exception = xbt_new(ex_ctx_t, 1);
XBT_CTX_INITIALIZE(init_context->exception);
__xbt_ex_ctx = __context_ex_ctx;