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