RELEASING
(void) set_smach_state(dsmp, RELEASING);
if (dsmp->dsm_state == RELEASING) {
case RELEASING:
state == RELEASING || state == INFORM_SENT || state == RENEWING);