)]}' { "id": "4ba28b7de53f65add9d42f7ba1f0edf26e8d31a4", "repo": "gcc", "revision": "refs/heads/devel/c++-contracts", "path": "gcc/main.cc" }