Lemma binaryExpOctetsU64 : forall x, List.length (binaryExpOctets (U64 x)) = 8.
