VERIFY(st.state == lock_state::locked && st.held_by == self);
st.state = lock_state::free;
LOG << "Lock " << lid << ": free";
VERIFY(st.state == lock_state::locked && st.held_by == self);
st.state = lock_state::free;
LOG << "Lock " << lid << ": free";