Lemma u8Size2 : forall v, length (serializeValue (ValueIntegerU8Vec2 v)) = 2%nat.
