done             2820 user/usertests.c   int done = 0;
done             2824 user/usertests.c   for(fi = 0; done == 0; fi++){
done             2836 user/usertests.c       done = 1;
done             2842 user/usertests.c         done = 1;