Lemma s16Size4 : forall v, length (serializeValue (ValueIntegerS16Vec4 v)) = 8%nat.
