Lemma s16Size3 : forall v, length (serializeValue (ValueIntegerS16Vec3 v)) = 6%nat.
