Trace File Extension
 Set the filename Extension for the Trace File
──────────────────────────────────────────────────────────────────────────────

 This option allows you to change the default filename extension of the Trace
 file.

   █▀▀ Trace File Extension ▀▀█
   █     Extension: TRC       █ 
   █▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄█ 
                                

 Simply type in three letters to be used as the file extension for the
 Trace File.