Symbol: cseq_num