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