Symbol: __trace_set_current_state