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