get_state
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);
ATF_REQUIRE(get_state(ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 666);
ATF_REQUIRE(get_state(&ctx) == 0);