+ case SIMCALL_MC_RANDOM:
+ state->internal_req = *req;
+ simcall_mc_random__set__result(&state->internal_req, value);
+ if(value == 0){
+ xbt_swag_foreach(process, simix_global->process_list){
+ procstate = &state->proc_status[process->pid];
+ if(process->pid == req->issuer->pid){
+ procstate->state = MC_MORE_INTERLEAVE;
+ break;
+ }
+ }
+ }
+ break;
+