)]}'
{
  "id": "bc7779262e60350e2748c74731a5d6d71f1b9455",
  "repo": "third_party/kernel",
  "revision": "3e0971e1551e88a5a9e615c239f034fd9fd8a423",
  "path": "include/net/ping.h"
}