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