Understanding the Solidity syntax