+ case SIMCALL_MC_RANDOM:
+ min = simcall_mc_random__get__min(&process->simcall);
+ max = simcall_mc_random__get__max(&process->simcall);
+ *value = (int)((rand() % ((max-min)+1)) + min);
+ procstate->state = MC_DONE;
+ return &process->simcall;
+ break;
+