Symbol: check_seq