recovery: maintain m_count invariant
recovery: comments