fn state_is_required( state_mode: StateMode, count: Option<PduCount>, lazy: bool, same_at_since: bool, ) -> bool