/* Frees an argv and the strings it points to.  */
void argv_free(char **argv)
/* Frees an argv and the strings it points to.  */
void argv_free(char **argv)
{
	char **p;
	for (p = argv; *p; p++)
		free(*p);
	free(argv);
}