Description of example_contracts in Norsk