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