Lemma u32Size1 : forall v, length (serializeValue (ValueIntegerU32 v)) = 4%nat.
