Symbol: asd_verify_seq