uninit           2318 user/usertests.c char uninit[10000];
uninit           2324 user/usertests.c   for (i = 0; i < sizeof(uninit); i++) {
uninit           2325 user/usertests.c     if (uninit[i] != '\0') {