DEBUG1("Broadcast condition %p", cond);
xbt_swag_foreach_safe(proc, proc_next, cond->sleeping) {
xbt_swag_remove(proc, cond->sleeping);
DEBUG1("Broadcast condition %p", cond);
xbt_swag_foreach_safe(proc, proc_next, cond->sleeping) {
xbt_swag_remove(proc, cond->sleeping);