Symbol: check_rev_seq