Symbol: rseq_undo