intbuf             26 user/uw-testbin/files1/files1.c   int intbuf = 0;
intbuf             70 user/uw-testbin/files1/files1.c   rc = read(f1, (char *) &intbuf, sizeof(intbuf));
intbuf             71 user/uw-testbin/files1/files1.c   TEST_EQUAL(rc, sizeof(intbuf), 
intbuf             73 user/uw-testbin/files1/files1.c   TEST_EQUAL(intbuf, i,
intbuf             76 user/uw-testbin/files1/files1.c   rc = read(f2, (char *) &intbuf, sizeof(intbuf));
intbuf             78 user/uw-testbin/files1/files1.c   TEST_EQUAL(intbuf, j, "read from f2 did not get correct value");