Symbol: nseq_main