python_json_from_python_sort_keys.py: