faultNames 3284 src/dps8/dps8_cpu.c faultNames 4982 src/dps8/dps8_cpu.c faultNames 182 src/dps8/dps8_faults.c char * faultNames [N_FAULTS] = faultNames 84 src/dps8/dps8_faults.h extern char * faultNames [N_FAULTS];