Symbol: seqfile_dump_rcd