highest_fd
start = highest_fd();
ATF_REQUIRE_INTEQ(fd, highest_fd());
ATF_REQUIRE_INTEQ(start, highest_fd());
start = highest_fd();
ATF_REQUIRE_INTEQ(start + 16, highest_fd());
ATF_REQUIRE_INTEQ(start + 8, highest_fd());
ATF_REQUIRE_INTEQ(start + 1, highest_fd());
ATF_REQUIRE(highest_fd() >= 2);
fd = highest_fd();
ATF_REQUIRE(highest_fd() >= 2);
fd = highest_fd();
start = highest_fd();
ATF_REQUIRE_INTEQ(start + 4, highest_fd());
ATF_REQUIRE_INTEQ(start, highest_fd());
ATF_REQUIRE_INTEQ(start, highest_fd());
start = highest_fd();
ATF_REQUIRE_INTEQ(start + 8, highest_fd());
ATF_REQUIRE_INTEQ(start + 8, highest_fd());
ATF_REQUIRE_INTEQ(start + 2, highest_fd());
ATF_REQUIRE_INTEQ(start, highest_fd());
ATF_REQUIRE(highest_fd() >= 2);
fd = highest_fd();
fd = highest_fd();
start = highest_fd();
ATF_REQUIRE_INTEQ(start + 8, highest_fd());
start = highest_fd();
ATF_REQUIRE_INTEQ(start + 8, highest_fd());