names             521 usertests.c      char *names[] = { "f0", "f1", "f2", "f3" };
names             527 usertests.c        fname = names[pi];
names             559 usertests.c        fname = names[i];