ASSERT_STATE
ASSERT_STATE(state, S_INIT);
ASSERT_STATE(state, S_SELECTING);
ASSERT_STATE(state, S_BOUND);