void DESTROY (vector *p)
{
    free (p->chars);
    free (p);
}