do_FFV_fault      971 src/dps8/dps8_faults.c            do_FFV_fault (1, "OC TRAP");
do_FFV_fault      979 src/dps8/dps8_faults.c            do_FFV_fault (2, "CU HIST OVF TRAP");
do_FFV_fault      987 src/dps8/dps8_faults.c            do_FFV_fault (3, "ADR TRAP");
do_FFV_fault      136 src/dps8/dps8_faults.h void do_FFV_fault (uint fault_number, const char * fault_msg);
do_FFV_fault     1408 src/dps8/dps8_ins.c         do_FFV_fault (1, "OC TRAP");