EVM and Solidity: A tale of mismatch