)]}'
{
  "id": "cb5f49c179b05dd5c6e7411060f73dd59b9ccc06",
  "repo": "rust",
  "revision": "8b69918e7212d74ec1eaae10536c0d5cb63fdc86",
  "path": "src/tools/miri/genmc-sys/cpp/include/ResultHandling.hpp"
}