free_vinum
free_vinum(0); /* clean up */
void free_vinum(int);
free_vinum(1); /* clean up everything */