Symbol: sequencer_file_header