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