Lemma u64Size1 : forall v, length (serializeValue (ValueIntegerU64 v)) = 8%nat.
