let print_ustring fmt t =
  Format.fprintf fmt "u%S" t