1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 #include <unistd.h>
5
6 static char *argv[2] = { (char *)"vm-mix1", NULL };
7
8 int
9 main()
10 {
11 execv("vm-mix1/vm-mix1", argv);
12 exit(0);
13 }
14