Inside Alloy — Reading the Rust Ethereum Library