/* This file was generated by scramble.py. */
#ifndef _PCODE_HEADER_GUARD_VECTOR_
#define _PCODE_HEADER_GUARD_VECTOR_
typedef struct Vector Vector;
#include "config.h"
struct Vector
{
    int count;
    int element_size;
    int allocated;
    void *data;
};
Vector * vector_new(int size);
void vector_del(Vector *v);
int vector_cat(Vector *v, void const *data, int n);
int vector_add(Vector *v, void *data);
void * vector_get(Vector *v, int i);
void vector_allocate(Vector *v, int size);
#endif
/* This file was generated by scramble.py. */
