devtools_json_escape
