big               181 user/usertests.c     static char big[PGSIZE + 1];
big               183 user/usertests.c       big[i] = 'x';
big               184 user/usertests.c     big[PGSIZE] = '\0';
big               185 user/usertests.c     char *args2[] = {big, big, big, 0};
big              2345 user/usertests.c     char big[400];
big              2346 user/usertests.c     memset(big, ' ', sizeof(big));
big              2347 user/usertests.c     big[sizeof(big) - 1] = '\0';
big              2349 user/usertests.c       args[i] = big;
big              2502 user/usertests.c void *big = (void *)0xeaeb0b5b00002f5e;
big              2508 user/usertests.c   exec(big, argv);
big              2509 user/usertests.c   pipe(big);