XBT_INFO("Process %ld (%s@%s): waiting for %s synchro %p (%s) in state %d to finish", process->pid,
process->get_cname(), process->host->get_cname(), synchro_description, process->waiting_synchro.get(),
XBT_INFO("Process %ld (%s@%s): waiting for %s synchro %p (%s) in state %d to finish", process->pid,
process->get_cname(), process->host->get_cname(), synchro_description, process->waiting_synchro.get(),