)]}'
{
  "id": "be3e265a5521a0681d99a4438f152649f704acbe",
  "repo": "boringssl",
  "revision": "6e678eeb",
  "path": "third_party/fiat/internal.h"
}