devtools_list_to_json
