xhargv             13 user/uw-testbin/hogparty/hogparty.c static char *xhargv[2] = { (char *)"xhog", NULL };
xhargv             38 user/uw-testbin/hogparty/hogparty.c   spawnv("/uw-testbin/xhog", xhargv);