nfiles           2338 user/usertests.c   int nfiles;
nfiles           2343 user/usertests.c   for(nfiles = 0; ; nfiles++){
nfiles           2346 user/usertests.c     name[1] = '0' + nfiles / 1000;
nfiles           2347 user/usertests.c     name[2] = '0' + (nfiles % 1000) / 100;
nfiles           2348 user/usertests.c     name[3] = '0' + (nfiles % 100) / 10;
nfiles           2349 user/usertests.c     name[4] = '0' + (nfiles % 10);
nfiles           2371 user/usertests.c   while(nfiles >= 0){
nfiles           2374 user/usertests.c     name[1] = '0' + nfiles / 1000;
nfiles           2375 user/usertests.c     name[2] = '0' + (nfiles % 1000) / 100;
nfiles           2376 user/usertests.c     name[3] = '0' + (nfiles % 100) / 10;
nfiles           2377 user/usertests.c     name[4] = '0' + (nfiles % 10);
nfiles           2380 user/usertests.c     nfiles--;