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