Document trace file format.