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