faultSubtype     2007 src/dps8/dps8_cpu.h NO_RETURN void doFault (_fault faultNumber, _fault_subtype faultSubtype,
faultSubtype      123 src/dps8/dps8_faults.h NO_RETURN void doFault (_fault faultNumber, _fault_subtype faultSubtype,