Solidity with brace example