(TXT) Makefile
 (TXT) constants-hdr
 (TXT) gen-mach-types
 (TXT) getconstants.c
 (TXT) mach-types