dc_state_destruct
dc_state_destruct(dc->current_state);
dc_state_destruct(state);
void dc_state_destruct(struct dc_state *state);