Lemma u8Size3 : forall v, length (serializeValue (ValueIntegerU8Vec3 v)) = 3%nat.
