Lemma lengthSerializeComponentsFold : forall vs,
  length (serializeComponentValues vs) = fold_right (fun v acc => length (serializeValue v) + acc) 0 vs.
Proof.
  (** Proof omitted for brevity. *)
Qed.
