Lemma binaryExpOctetsU32 : forall x, List.length (binaryExpOctets (U32 x)) = 4.
