third_party/jsoncpp/test/jsonchecker/fail13.json

{"Numbers cannot have leading zeroes": 013}