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