set_FFV_fault 4130 src/dps8/dps8_cpu.c set_FFV_fault (4); set_FFV_fault 135 src/dps8/dps8_faults.h void set_FFV_fault (uint f_fault_no);