Max of Two Numbers - Solidity Typing CST Test