1#include <unistd.h>
2
3int main(void)
4{
5   char* null_filename = NULL;
6   char* bad[2]  = { (char*)1, NULL };
7   char* good[1] = {           NULL };
8
9   execve(null_filename, bad, bad);
10   execve("/bin/true", good, good);
11
12   return 0;
13}
14