)]}'
{
  "id": "148f38d93919d3fac959b32a5980550a639e9ed6",
  "repo": "third_party/Surelog",
  "revision": "51cb18436d4e7e5c955bf0d9582fef9c8625b405",
  "path": "src/API/builtin.sv"
}