)]}'
{
  "id": "8d89e8c303fa1bd359f3204347c07a1e32f0f7ee",
  "repo": "third_party/kernel",
  "revision": "985131a81ef6ffbbda082fe8cda039f8dfe173b0",
  "path": "tools/verification/rv/include/trace.h"
}