zhargv             15 user/uw-testbin/hogparty/hogparty.c static char *zhargv[2] = { (char *)"zhog", NULL };
zhargv             40 user/uw-testbin/hogparty/hogparty.c   spawnv("/uw-testbin/zhog", zhargv);