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

int main() {
	char *exec_argv[] = {
		"ls", "-l", "/", NULL
	};
	printf("pre %d\n", getpid());

	execve("/usr/bin/ls", exec_argv, NULL);
	printf("post %d\n", getpid());
}