Input encoding parameters are embedded in the trace file