#warning ERRATO! uso buf per nominare due buffer diversi
#include <stdio.h>
#include <unistd.h>
#define BUFSIZE 4096

int main(int argc, char *argv[]) {
	char *buf;
	size_t n;
	FILE *f = open_memstream(&buf, &n);
	size_t rchar;
	while ((rchar = read(STDIN_FILENO, buf, BUFSIZE)) > 0)
		//fwrite(buf, 1, rchar, f);
		;
	fclose(f);
	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);
}