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