smx_ctx_raw_t worker_context = (smx_ctx_raw_t)SIMIX_context_self();
raw_workers_context[worker_id] = worker_context;
XBT_DEBUG("Saving worker stack %lu", worker_id);
smx_ctx_raw_t worker_context = (smx_ctx_raw_t)SIMIX_context_self();
raw_workers_context[worker_id] = worker_context;
XBT_DEBUG("Saving worker stack %lu", worker_id);