FFV_fault_number 1753 src/dps8/dps8_cpu.h      uint FFV_fault_number;
FFV_fault_number  847 src/dps8/dps8_faults.c     cpu.FFV_fault_number = fault_number;