Lemma s32Size2 : forall v, length (serializeValue (ValueIntegerS32Vec2 v)) = 8%nat.
