)]}'
{
  "id": "4276e6a65d33d2bb4ae29e04c8c4396f372373c6",
  "repo": "third_party/verible",
  "revision": "4445945292661a5446fac11a1541f050fa5422af",
  "path": "common/strings/random.h"
}