static void dup_argv(char *argv[])
{
	int i;

	for (i = 0; argv[i]; i++)
		argv[i] = strdup(argv[i]);
}
static void dup_argv(char *argv[])
{
	int i;

	for (i = 0; argv[i]; i++)
		argv[i] = strdup(argv[i]);
}