howmany          2873 user/usertests.c   int howmany = 30; // increase to look for deadlock
howmany          2889 user/usertests.c       for(int iters = 0; iters < howmany; iters++){