File formats

tcc generates a number of different output files. The target-specific files have already been described in section , with more details on the external interface in section . In this section, we describe the files which do not depend on a specific target.