mdb_dassert
(void) mdb_dassert(assertion, file, line);
(void) mdb_dassert(assertion, file, line);
extern int mdb_dassert(const char *, const char *, int);
#define ASSERT(x) ((void)((x) || mdb_dassert(#x, __FILE__, __LINE__)))