stack_array        95 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 	unsigned int stack_array[STACK_ARRAY_ELEMS];
stack_array       119 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		stack_array[i] = i * 1000;
stack_array       141 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		if (stack_array[i] != i * 1000) {
stack_array       142 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 			printf("FAILED in file %s at line %d: stack_array[%d] = %u != %d\n", __FILE__, __LINE__, i, stack_array[i], i);
stack_array       166 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		if (stack_array[i] != i * 1000) {
stack_array       167 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 			printf("FAILED in file %s at line %d: stack_array[%d] = %u != %d\n", __FILE__, __LINE__, i, stack_array[i], i);
stack_array        93 user/uw-testbin/vm-mix1/vm-mix1.c 	unsigned int stack_array[STACK_ARRAY_ELEMS];
stack_array       117 user/uw-testbin/vm-mix1/vm-mix1.c 		stack_array[i] = i * 1000;
stack_array       139 user/uw-testbin/vm-mix1/vm-mix1.c 		if (stack_array[i] != i * 1000) {
stack_array       140 user/uw-testbin/vm-mix1/vm-mix1.c 			printf("FAILED in file %s at line %d: stack_array[%d] = %u != %d\n", __FILE__, __LINE__, i, stack_array[i], i);
stack_array       164 user/uw-testbin/vm-mix1/vm-mix1.c 		if (stack_array[i] != i * 1000) {
stack_array       165 user/uw-testbin/vm-mix1/vm-mix1.c 			printf("FAILED in file %s at line %d: stack_array[%d] = %u != %d\n", __FILE__, __LINE__, i, stack_array[i], i);
stack_array       101 user/uw-testbin/vm-mix2/vm-mix2.c 	unsigned int stack_array[STACK_ARRAY_ELEMS];
stack_array       125 user/uw-testbin/vm-mix2/vm-mix2.c 		stack_array[i] = i * 1000;
stack_array       147 user/uw-testbin/vm-mix2/vm-mix2.c 		if (stack_array[i] != i * 1000) {
stack_array       148 user/uw-testbin/vm-mix2/vm-mix2.c 			printf("FAILED in file %s at line %d: stack_array[%d] = %u != %d\n", __FILE__, __LINE__, i, stack_array[i], i);
stack_array       172 user/uw-testbin/vm-mix2/vm-mix2.c 		if (stack_array[i] != i * 1000) {
stack_array       173 user/uw-testbin/vm-mix2/vm-mix2.c 			printf("FAILED in file %s at line %d: stack_array[%d] = %u != %d\n", __FILE__, __LINE__, i, stack_array[i], i);