while (buffer->capacity < buffer->size + size) {
buffer->capacity *= 2;
buffer->data = xbt_realloc(buffer->data, buffer->capacity);
while (buffer->capacity < buffer->size + size) {
buffer->capacity *= 2;
buffer->data = xbt_realloc(buffer->data, buffer->capacity);