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