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