char *msg_cpy=xbt_strdup(msg);
smx_synchro_t comm = simcall_comm_isend(p_smx_process, chan.getInferior(), strlen(msg),
-1/*rate*/, msg_cpy, sizeof(void *),
char *msg_cpy=xbt_strdup(msg);
smx_synchro_t comm = simcall_comm_isend(p_smx_process, chan.getInferior(), strlen(msg),
-1/*rate*/, msg_cpy, sizeof(void *),