correctvsize      915 user/testbin/psort/psort.c 	off_t totvsize, correctvsize;
correctvsize      918 user/testbin/psort/psort.c 	correctvsize = (off_t) numprocs*2*sizeof(int);
correctvsize      924 user/testbin/psort/psort.c 	if (totvsize != correctvsize) {
correctvsize      927 user/testbin/psort/psort.c 			  (long) totvsize, (long) correctvsize);