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;