READY
if (c->state != READY)
ATF_REQUIRE(c->state == READY);
c->state = READY;
c->state = READY;
ATF_REQUIRE(c->state == READY);
ATF_REQUIRE(c->state == READY);
while (c->state != READY)
while (c.state != READY)