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