if(synchro.comm.src_buff != NULL){
pattern->data_size = synchro.comm.src_buff_size;
pattern->data = xbt_malloc0(pattern->data_size);
MC_process_read_simple(&mc_model_checker->process,
pattern->data, synchro.comm.src_buff, pattern->data_size);
}
if(synchro.comm.src_buff != NULL){
pattern->data_size = synchro.comm.src_buff_size;
pattern->data = xbt_malloc0(pattern->data_size);
MC_process_read_simple(&mc_model_checker->process,
pattern->data, synchro.comm.src_buff, pattern->data_size);
}