void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) {
DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);
void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) {
DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);