)]}'
{
  "id": "f33dc9d070971da69855bf4f2b75de00be40ef43",
  "repo": "miri",
  "revision": "8871ffcebe7895dc76c4e16c033a962e2dbba13d",
  "path": "src/eval.rs"
}