Symbol: log_header_disk