Symbol: write_to_seqfile