)]}'
{
  "id": "4929c0cfa150ffc0934e963e2ba8bbc56fcfd0b9",
  "repo": "rust",
  "revision": "e796bd41f19ce80da4b0e550e1cc154fa27047d9",
  "path": "src/tools/miri/genmc-sys/cpp/include/MiriInterface.hpp"
}