--- Gnu-Mach/kern/assert.h	2020/09/02 04:42:41	1.1.1.2
+++ Gnu-Mach/kern/assert.h	2020/09/02 04:47:25	1.1.1.4
@@ -31,24 +31,19 @@
 
 #include <kern/macro_help.h>
 
-#ifdef DEBUG
+#ifndef NDEBUG
 #define MACH_ASSERT 1
 #endif
 
 #if	MACH_ASSERT
-extern void Assert(char *exp, char *filename, int line);
+extern void Assert(const char *exp, const char *filename, int line) __attribute__ ((noreturn));
 
 #define assert(ex)							\
-MACRO_BEGIN								\
-	if (!(ex))							\
-		Assert(#ex, __FILE__, __LINE__);			\
-MACRO_END
-
-#ifdef	lint
-#define	assert_static(x)
-#else	/* lint */
+	((ex)								\
+	 ? (void) (0)							\
+	 : Assert (#ex, __FILE__, __LINE__))
+
 #define	assert_static(x)	assert(x)
-#endif	/* lint */
 
 #else	/* MACH_ASSERT */
 #define assert(ex)