Lemma s16Size2 : forall v, length (serializeValue (ValueIntegerS16Vec2 v)) = 4%nat.
