35 #define ALWAYS_REQUIRE(x)	calysto_assert(x)  argument
36 #define ALWAYS_INSIST(x)	calysto_assume(x) /* DLH calysto_assert()? */  argument
37 #define ALWAYS_INVARIANT(x)	calysto_assume(x)  argument
38 #define ALWAYS_ENSURE(x)	calysto_assert(x)  argument
66 #define ALWAYS_REQUIRE(x)	assert(x)  argument
67 #define ALWAYS_INSIST(x)	assert(x)  argument
68 #define ALWAYS_INVARIANT(x)	assert(x)  argument
69 #define ALWAYS_ENSURE(x)	assert(x)  argument
75 #define ALWAYS_REQUIRE(x)	ISC_REQUIRE(x)  argument
76 #define ALWAYS_INSIST(x)	ISC_INSIST(x)  argument
77 #define ALWAYS_INVARIANT(x)	ISC_INVARIANT(x)  argument
78 #define ALWAYS_ENSURE(x)	ISC_ENSURE(x)  argument
82 #define	REQUIRE(x)		ALWAYS_REQUIRE(x)  argument
83 #define	INSIST(x)		ALWAYS_INSIST(x)  argument
84 #define	INVARIANT(x)		ALWAYS_INVARIANT(x)  argument
85 #define	ENSURE(x)		ALWAYS_ENSURE(x)  argument
93 #define	DEBUG_REQUIRE(x)	REQUIRE(x)  argument
94 #define	DEBUG_INSIST(x)		INSIST(x)  argument
95 #define	DEBUG_INVARIANT(x)	INVARIANT(x)  argument
96 #define	DEBUG_ENSURE(x)		ENSURE(x)  argument
98 #define	DEBUG_REQUIRE(x)	do {} while (FALSE)  argument
99 #define	DEBUG_INSIST(x)		do {} while (FALSE)  argument
100 #define	DEBUG_INVARIANT(x)	do {} while (FALSE)  argument
101 #define	DEBUG_ENSURE(x)		do {} while (FALSE)  argument