XBT_INFO("Actor %ld (%s@%s): waiting for %s activity %#zx (%s) in state %d to finish", actor->get_pid(),
actor->get_cname(), actor->get_host()->get_cname(), synchro_description,
XBT_INFO("Actor %ld (%s@%s): waiting for %s activity %#zx (%s) in state %d to finish", actor->get_pid(),
actor->get_cname(), actor->get_host()->get_cname(), synchro_description,