EVM Words
=========

```k
requires "krypto.k"
requires "evm-types.k"
requires "json.k"
requires "serialization.k"
```

```k
module EVM-DATA
    imports KRYPTO
    imports EVM-TYPES
    imports SERIALIZATION
    imports STRING-BUFFER
    imports MAP-SYMBOLIC
    imports COLLECTIONS
    imports JSON
```

```{.k .concrete .bytes}
    imports BYTES
```

```k
endmodule
```