let maybe_esc_str str =
if must_escape str then
let estr = String.escaped str in
let elen = String.length estr in
let res = String.create (elen + 2) in
String.blit estr 0 res 1 elen;
res.[0] <- '"';
res.[elen + 1] <- '"';
res
else str