[contract_generator]