Use Python stdlib json