Lemma u64Size2 : forall v, length (serializeValue (ValueIntegerU64Vec2 v)) = 16%nat.
