big               179 user/usertests.c     static char big[PGSIZE+1];
big               181 user/usertests.c       big[i] = 'x';
big               182 user/usertests.c     big[PGSIZE] = '\0';
big               183 user/usertests.c     char *args2[] = { big, big, big, 0 };
big              2313 user/usertests.c     char big[400];
big              2314 user/usertests.c     memset(big, ' ', sizeof(big));
big              2315 user/usertests.c     big[sizeof(big)-1] = '\0';
big              2317 user/usertests.c       args[i] = big;
big              2465 user/usertests.c void *big = (void*) 0xeaeb0b5b00002f5e;
big              2471 user/usertests.c   exec(big, argv);
big              2472 user/usertests.c   pipe(big);