mc_model_checker->process().read_bytes(&state->internal_comm ,
sizeof(state->internal_comm), remote(simcall_comm_wait__get__comm(req)));
simcall_comm_wait__set__comm(&state->executed_req, state->internal_comm.getBuffer());
mc_model_checker->process().read_bytes(&state->internal_comm ,
sizeof(state->internal_comm), remote(simcall_comm_wait__get__comm(req)));
simcall_comm_wait__set__comm(&state->executed_req, state->internal_comm.getBuffer());