devtools_json_to_ts
