numready          705 user/testbin/psort/psort.c 	int numready, place, val, worknum;
numready          720 user/testbin/psort/psort.c 		numready = 0;
numready          742 user/testbin/psort/psort.c 			numready++;
numready          744 user/testbin/psort/psort.c 		if (numready == 0) {