/* otherwise we don't have a choice, we must free the object */
/* XBT_DEBUG("Free deleted object: mallocator %p is full (size:%d/%d)", m,
m->current_size, m->max_size); */
/* otherwise we don't have a choice, we must free the object */
/* XBT_DEBUG("Free deleted object: mallocator %p is full (size:%d/%d)", m,
m->current_size, m->max_size); */