names            1154 user/usertests.c   char *names[] = { "f0", "f1", "f2", "f3" };
names            1159 user/usertests.c     fname = names[pi];
names            1194 user/usertests.c     fname = names[i];