- state->internal_comm = *req->comm_test.comm;
- state->executed_req.comm_test.comm = &state->internal_comm;
- state->internal_req.comm_test.comm = &state->internal_comm;
+ state->internal_comm = *simcall_comm_test__get__comm(req);
+ simcall_comm_test__set__comm(&state->executed_req, &state->internal_comm);
+ simcall_comm_test__set__comm(&state->internal_req, &state->internal_comm);
+ break;
+
+ case SIMCALL_MC_RANDOM:
+ state->internal_req = *req;
+ simcall_mc_random__set__result(&state->internal_req, value);