--- Libc/Libc-391/mach/panic.c
+++ Libc/Libc-391.4.2/mach/panic.c
@@ -77,4 +77,7 @@
 
 #define RB_DEBUGGER	0x1000	/* enter debugger NOW */
 	(void) host_reboot(master_host_port, RB_DEBUGGER);
+
+	/* 4279008 - don't return */
+	abort();
 }