uninit             10 user/uw-testbin/vm-stack2/vm-stack2.c unsigned int uninit[UNINIT_ARRAY_ELEMS];
uninit             30 user/uw-testbin/vm-stack2/vm-stack2.c 		if (uninit[i] != 0) {
uninit             31 user/uw-testbin/vm-stack2/vm-stack2.c 			printf("FAILED uninit[%d] = %u != %d\n", i, uninit[i], 0);
uninit             38 user/uw-testbin/vm-stack2/vm-stack2.c 		uninit[i] = i * 100;
uninit             56 user/uw-testbin/vm-stack2/vm-stack2.c 		if (uninit[i] != i * 100) {
uninit             57 user/uw-testbin/vm-stack2/vm-stack2.c 			printf("FAILED uninit[%d] = %u != %d\n", i, uninit[i], i);