contract_device_free
contract_device_free, /* contop_free */
contract_device_free(&ctd->cond_contract);