5.3.1 Support Files

The following files are necessary to many of the ACATS tests. Implementations that maintain program libraries may wish to compile them into the program library used for conformity assessment:

`repspec.ada`	`repbody.ada`
`impdef.a`	`impdefc.a` (if testing Annex C)
`fcndecl.ada`	`impdefd.a` (if testing Annex D)
`checkfil.ada`	`impdefe.a` (if testing Annex E)
`lencheck.ada`	`impdefg.a` (if testing Annex G)
`enumchek.ada`	`impdefh.a` (if testing Annex H)
`tctouch.ada`	`spprt13s.adt` (after macro substitution)

Depending on local requirements and strategy, it may also be convenient to compile all foundation code into the program library as well.