+ ARR_SHRINKLEN(*bucket, (int)bucket_len - 1);
+ node->bucket_index = UINT_MAX;
+}
+
+void node_bucket_deep_copy(pbqp *pbqp, pbqp_node_bucket *dst, pbqp_node_bucket src)
+{
+ unsigned bucket_index;
+ unsigned bucket_length;
+
+ bucket_length = node_bucket_get_length(src);
+
+ for (bucket_index = 0; bucket_index < bucket_length; ++bucket_index) {
+ node_bucket_insert(dst, pbqp_node_deep_copy(pbqp, *dst, src[bucket_index]));
+ }