echoargv          685 user/usertests.c   char *echoargv[] = { "echo", "OK", 0 };
echoargv          705 user/usertests.c     if(exec("echo", echoargv) < 0){