TEST_STATS         80 user/uw-testbin/files1/files1.c   TEST_STATS();
TEST_STATS        174 user/uw-testbin/files2/files2.c   TEST_STATS();
TEST_STATS        224 user/uw-testbin/lib/testutils.c    TEST_STATS();
TEST_STATS         54 user/uw-testbin/writeread/writeread.c    TEST_STATS();