osrm-backend/bin/jsonchecker/fail13.json

{"Numbers cannot have leading zeroes": 013}