test_file_fread
ATF_REQUIRE(test_file_fread(pfile) == 0);
ATF_REQUIRE(test_file_fread(pfile) == EBADF);