free1            3052 user/usertests.c     int free1 = 0;
free1            3067 user/usertests.c     if((free1 = countfree()) < free0) {
free1            3068 user/usertests.c       printf("FAILED -- lost some free pages %d (out of %d)\n", free1, free0);