args2             185 user/usertests.c     char *args2[] = {big, big, big, 0};
args2             186 user/usertests.c     ret = exec("echo", args2);