)]}'
{
  "id": "8d7eda80cceb006bfaab976ff6e9efb569ad7d02",
  "repo": "3p/sel4/camkes",
  "revision": "refs/heads/master",
  "path": "apps/dhcp/src/util.h"
}