306 	REQUIRE(sess->state == initializing ||  in ctl_response()
310 	REQUIRE(sess->wrtiID.opaque == NULL);  in ctl_response()
311 	REQUIRE(sess->wrID.opaque == NULL);  in ctl_response()
482 	REQUIRE(sess->state == initializing ||  in ctl_close()
488 	REQUIRE(sess->sock != -1);  in ctl_close()
520 	REQUIRE(sess->state == initializing ||  in ctl_start_read()
524 	REQUIRE(sess->rdtiID.opaque == NULL);  in ctl_start_read()
525 	REQUIRE(sess->rdID.opaque == NULL);  in ctl_start_read()
549 	REQUIRE(sess->state == reading || sess->state == reading_data);  in ctl_stop_read()
550 	REQUIRE(sess->rdID.opaque != NULL);  in ctl_stop_read()
568 	REQUIRE(sess != NULL);  in ctl_readable()
569 	REQUIRE(fd >= 0);  in ctl_readable()
570 	REQUIRE(evmask == EV_READ);  in ctl_readable()
571 	REQUIRE(sess->state == reading || sess->state == reading_data);  in ctl_readable()
633 	REQUIRE(sess->state == writing);  in ctl_wrtimeout()
660 	REQUIRE(sess->state == reading);  in ctl_rdtimeout()
679 	REQUIRE(allocated_p(sess->inbuf));  in ctl_docommand()
724 	REQUIRE(sess->state == writing);  in ctl_writedone()
725 	REQUIRE(fd == sess->sock);  in ctl_writedone()
726 	REQUIRE(sess->wrtiID.opaque != NULL);  in ctl_writedone()
765 	REQUIRE(!lastverb_p(this));  in ctl_morehelp()
766 	REQUIRE((respflags & CTL_MORE) != 0);  in ctl_morehelp()