#include <stdio.h>
#include <unistd.h>

int main() {
	char *exec_argv[] = {
		"bash", NULL
	};
	char *env_argv[] = {
		"USER=renzox", "prova=sistemi operativi", NULL
	};
	printf("pre %d\n", getpid());

	execve("/bin/bash", exec_argv, env_argv);
	printf("post %d\n", getpid());
}