)]}'
{
  "id": "04c2eeb795a25c9c5251d1026c258327e011500f",
  "repo": "3p/sel4/camkes",
  "revision": "refs/heads/master",
  "path": "apps/reversestring/include/buffer.h"
}