assfail
(void) assfail("avl_find() succeeded inside avl_add()",
extern void assfail(const char *, const char *, int);
assfail(buf, __FILE__, __LINE__); \
(void) assfail(msgbuf, file, line);
(void) assfail(msgbuf, file, line);
extern void assfail(const char *, const char *, int);
#define VERIFY(EX) ((void)((EX) || (assfail(#EX, __FILE__, __LINE__), 0)))
#define ASSERT(EX) ((void)((EX) || (assfail(#EX, __FILE__, __LINE__), 0)))
(assfail("(" #A ") implies (" #B ")", __FILE__, __LINE__), 0)))
(assfail("(" #A ") is equivalent to (" #B ")", \