Some test contracts to test the tool
