Lemma binaryExpOctetsUTF8 : forall x, List.length (binaryExpOctets (UTF8 x)) = 4 + List.length (stringUTF8Bytes x).
