)]}'
{
  "id": "e5e7b50be371c3c91f56e50f407f59be6ec5cc65",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "b40488850184d2498a214271b0b8c49c4e4000af",
      "name": "sel4bench"
    }
  ]
}