)]}' { "id": "f4a781f204795af92817d288e9cd4edfb0d4e7f6", "repo": "external/github.com/google/wuffs", "revision": "344123b1795401b4f9574df174fb4864ce18c76f", "path": "script/process-json-numbers.c" }