/* associate this simcall to the the synchro */
synchro->simcalls_.push_back(simcall);
/* see if the synchro is already finished */
if (synchro->state_ != SIMIX_WAITING && synchro->state_ != SIMIX_RUNNING) {
/* associate this simcall to the the synchro */
synchro->simcalls_.push_back(simcall);
/* see if the synchro is already finished */
if (synchro->state_ != SIMIX_WAITING && synchro->state_ != SIMIX_RUNNING) {