Definition stringUTF8Bytes (s : string) : list octet :=
  let bs := list_byte_of_string s in
    map octetByte bs.
