names            1190 user/usertests.c   char *names[] = {"f0", "f1", "f2", "f3"};
names            1195 user/usertests.c     fname = names[pi];
names            1230 user/usertests.c     fname = names[i];