third_party_jsoncpp/test/jsonchecker/fail13.json

{"Numbers cannot have leading zeroes": 013}