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