init_target
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
int init_target(void);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);
ATF_REQUIRE(init_target() != -1);