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