Lemma u32Size3 : forall v, length (serializeValue (ValueIntegerU32Vec3 v)) = 12%nat.
