)]}'
{
  "id": "5c4a7230cf5850fb41d3531066f5f1925597f613",
  "repo": "miri",
  "revision": "8871ffcebe7895dc76c4e16c033a962e2dbba13d",
  "path": "src/alloc/isolated_alloc.rs"
}