)]}'
{
  "id": "095790c6cb46a539c35cb7beb8a816ff3d7f0708",
  "repo": "tvm",
  "revision": "HEAD",
  "path": "src/runtime/extra/disco/message_queue.h"
}