contract_device_ack_nack
return (contract_device_ack_nack(ct, evtype, evid, CT_ACK));
return (contract_device_ack_nack(ct, evtype, evid, CT_NACK));