EVM semantics provides [BUF](https://github.com/runtimeverification/evm-semantics/blob/master/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/buf.md) to compress the zero bytes and ease transformation between `reg` and `memory`. No need to transform from `Int` to `Bytes` and `Bytes` to `Int`.
