FFV_fault_number 1710 src/dps8/dps8_cpu.h      uint FFV_fault_number;
FFV_fault_number  742 src/dps8/dps8_faults.c     cpu.FFV_fault_number = fault_number;