Lemma s64Size4 : forall v, length (serializeValue (ValueIntegerS64Vec4 v)) = 32%nat.
