)]}' { "id": "3c13a927b32602e34260be6c56c96ddebd5a5171", "repo": "tint", "revision": "ea3eee988528af5802707ee07d89c48eba4a6e85", "path": "src/symbol_test.cc" }