Lemma u8Size1 : forall v, length (serializeValue (ValueIntegerU8 v)) = 1%nat.
