Lemma s8Size4 : forall v, length (serializeValue (ValueIntegerS8Vec4 v)) = 4%nat.
