free_func_state
free_func_state(callee);
free_func_state(state->frame[i]);
free_func_state(dst_state->frame[i]);