)]}' { "id": "edab9858312669ceffc14f7c88b6ec760546f20f", "repo": "gcc", "revision": "refs/heads/devel/c++-contracts", "path": "gcc/ada/bcheck.adb" }