simcall_comm_test__set__result(&state->internal_req, state->transition.argument);
break;
case SIMCALL_COMM_WAIT:
mc_model_checker->process().read_bytes(&state->internal_comm, sizeof(state->internal_comm),
remote(simcall_comm_wait__getraw__comm(req)));
simcall_comm_test__set__result(&state->internal_req, state->transition.argument);
break;
case SIMCALL_COMM_WAIT:
mc_model_checker->process().read_bytes(&state->internal_comm, sizeof(state->internal_comm),
remote(simcall_comm_wait__getraw__comm(req)));