nfiles           2378 user/usertests.c   int nfiles;
nfiles           2383 user/usertests.c   for (nfiles = 0;; nfiles++) {
nfiles           2386 user/usertests.c     name[1] = '0' + nfiles / 1000;
nfiles           2387 user/usertests.c     name[2] = '0' + (nfiles % 1000) / 100;
nfiles           2388 user/usertests.c     name[3] = '0' + (nfiles % 100) / 10;
nfiles           2389 user/usertests.c     name[4] = '0' + (nfiles % 10);
nfiles           2411 user/usertests.c   while (nfiles >= 0) {
nfiles           2414 user/usertests.c     name[1] = '0' + nfiles / 1000;
nfiles           2415 user/usertests.c     name[2] = '0' + (nfiles % 1000) / 100;
nfiles           2416 user/usertests.c     name[3] = '0' + (nfiles % 100) / 10;
nfiles           2417 user/usertests.c     name[4] = '0' + (nfiles % 10);
nfiles           2420 user/usertests.c     nfiles--;