echoargv           13 usertests.c    char *echoargv[] = { "echo", "ALL", "TESTS", "PASSED", 0 };
echoargv          297 usertests.c      if(exec("echo", echoargv) < 0){