fn write_evm<W: Write>(
out: &mut W,
evm: &BTreeMap<(B256, u32), u64>,
) -> Result<()>Expand description
Each EVM ID is evm_<bytecode_hash[:16hex]>_<pc:04x>. The 16-hex prefix
(64 bits) of the keccak256 bytecode hash makes IDs deterministic across
processes while keeping line lengths short.