#include <stdio.h>
#include "../src/buffer.h"

int main (int argc, char *argv[]) {
    growable_buffer buf;
    init_growable_buffer(&buf);
    grow_growable_buffer(&buf, 1000);
    if (buf.size != 1000){
        printf("HOLA\n");
        return 1;
    }
    free_growable_buffer(&buf);
    return 0;
}