Lightweight extension of an execution environment for safer function calls in Solidity/Ethereum Virtual Machine smart contracts.