Options: 1. Move to some future EVM revision (e.g. `EVMC_EOF`). 2. Remove.
Options:
EVMC_EOF).