()
| 2410 | read_env_header(buf, "Env::get_anon")?; |
| 2411 | |
| 2412 | let mut env = Env::new(); |
| 2413 | env.main = main; |
| 2414 | env.assumptions = assumptions.into_iter().collect(); |
| 2415 | |
| 2416 | // Section 1: Blobs (kept; hash-verified per entry) |
| 2417 | for (addr, bytes) in read_blob_section(buf, "Env::get_anon")? { |
| 2418 | env.blobs.insert(addr, bytes); |
| 2419 | } |
| 2420 | |
| 2421 | // Section 2: Consts (kept, lazy) |