statem_context_t ctx = (statem_context_t)SIMIX_process_get_context(process);
old_context = smx_current_context;
smx_current_context = SIMIX_process_get_context(process);
statem_context_t ctx = (statem_context_t)SIMIX_process_get_context(process);
old_context = smx_current_context;
smx_current_context = SIMIX_process_get_context(process);