let print_ustring fmt t =
  Format.fprintf fmt "u%S" (BatUTF8.to_string t)