Symbol: rseq_trace_update