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