Your first program in Solidity