+char excNames[33][64] = {
+ "???", "???", "Bus Error", "Address Error",
+ "Illegal Instruction", "Zero Divide", "CHK", "TrapV",
+ "Privilege Violation", "Trace", "Line A", "Line F",
+ "???", "???", "Format Error", "Uninitialized Interrupt",
+ "???", "???", "???", "???",
+ "???", "???", "???", "???",
+ "Spurious/Autovector", "???", "???", "???",
+ "???", "???", "???", "???",
+ "Trap #"
+};
+
+printf("Exception #%i occurred! (%s)\n", nr, (nr < 32 ? excNames[nr] : (nr < 48 ? "Trap #" : "????")));