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