pub type State = HashMap<Address, Account>;
EVM State is a mapping from addresses to accounts.
pub struct State { /* private fields */ }