f3                 40 user/uw-testbin/files2/files2.c   int f1, f2, f3;
f3                 65 user/uw-testbin/files2/files2.c   f3 = open("FILE1", O_RDWR);
f3                 66 user/uw-testbin/files2/files2.c   TEST_POSITIVE(f3, "Unable to open FILE1 third time");
f3                 70 user/uw-testbin/files2/files2.c   TEST_NOT_EQUAL(f2, f3, "Using same fd for multiple opens f2 = f3");
f3                 76 user/uw-testbin/files2/files2.c   rc = close(f3);