faultNames       3326 src/dps8/dps8_cpu.c 
faultNames       5012 src/dps8/dps8_cpu.c 
faultNames        186 src/dps8/dps8_faults.c char * faultNames [N_FAULTS] =
faultNames         86 src/dps8/dps8_faults.h extern char * faultNames [N_FAULTS];