Symbol: seq_reg_dump