Pass the trace header format to the read_trace_header() function.