unplugged-system/external/jsoncpp/test/jsonchecker/fail13.json

{"Numbers cannot have leading zeroes": 013}