#include <stdio.h>
#include <unistd.h>
#define BUFSIZE 4096

int main(int argc, char *argv[]) {
	char buf[BUFSIZE];
	size_t n = read(STDIN_FILENO, buf, BUFSIZE);
	int newargc = 0;
	for (int i = 0; i < n; i++)
		if (buf[i] == 0)
			newargc++;
	printf("nwargc %d \n", newargc);
	char *newargv[newargc + 1];
	newargc = 0;
	newargv[newargc++] = buf;
	for (int i = 0; i < n; i++)
    if (buf[i] == 0)
			newargv[newargc++] = buf + i + 1;
	newargv[newargc - 1] = 0;
	execvp(newargv[0], newargv);
}