)]}'
{
  "id": "0071d421525578ec7a7b139e1fb89c18f3823298",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7d75b3fced3c580be5b0688975878dd883d56496",
      "name": "fs.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "29b3181992b1163b396a0d24c4c00017c49c7c16",
      "name": "genmc.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3eaa6c468a1a574739680dc46435027a2ce8157",
      "name": "io.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4757a5a268c654cfbdce32fda5fae43cece8ea1b",
      "name": "libc.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3f5b9f78ee01ece25c51513dfe619d480877c327",
      "name": "macros.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "633f337f7e7cd298824f48205202e5c5aef48953",
      "name": "miri_extern.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aaf2bf50c4e6770366c928e95b2ab2146263e391",
      "name": "mod.no_std.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f855f115e43dc574bc778dac967b7f3984d87d2d",
      "name": "mod.rs"
    }
  ]
}