third_party/perfetto/buildtools/jsoncpp/test/jsonchecker/fail13.json

{"Numbers cannot have leading zeroes": 013}