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