sargv              41 user/testbin/kitchen/kitchen.c static char *sargv[2] = { (char *)"sink", NULL };
sargv              56 user/testbin/kitchen/kitchen.c 		execv("/testbin/sink", sargv);