The solidity language for smart contracts works like this.