XBT_DEBUG("%s: insert event_type=%d, timestamp=%f, buffersize=%lu)",
__FUNCTION__, (int)tbi->event_type, tbi->timestamp, xbt_dynar_length(buffer));
XBT_DEBUG("%s: insert event_type=%d, timestamp=%f, buffersize=%lu)",
__FUNCTION__, (int)tbi->event_type, tbi->timestamp, xbt_dynar_length(buffer));