Lemma u32Size4 : forall v, length (serializeValue (ValueIntegerU32Vec4 v)) = 16%nat.
