names            1157 user/usertests.c   char *names[] = { "f0", "f1", "f2", "f3" };
names            1162 user/usertests.c     fname = names[pi];
names            1197 user/usertests.c     fname = names[i];