let string_of_string escaping string =
  if escaping then
    let escape = choose_escape string ['"''\''in
    sprintf "%c%s%c" escape string escape
  else
    string