Definition utf8 (s : string) : binaryExp :=
  BiUTF8 (list_byte_of_string s).
