)]}'
{
  "id": "addf6408c006f4b13425721121200aeb98e61c97",
  "repo": "rust",
  "revision": "a7fa2dfd8e2bba4cc0833178cfc6e046ca4ef7f3",
  "path": "src/tools/miri/tests/genmc/pass/std/arc.rs"
}