json.py should run