)]}'
{
  "id": "e9ffde32c3bd9155a3fc6e26be9ad5b49a68622c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "93b1e6cf18630e92592b929f5fdd00aa1c5d8415",
      "name": "15.4--mailbox-blocking.sv"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9789bfd639b8046a4003b49efd73f38c90623014",
      "name": "15.4--mailbox-non-blocking.sv"
    }
  ]
}