Symbol: bmi_segmented_file_header