#include <assert.h>
#include <stdlib.h>
__dead void
/*ARGSUSED*/
__diagassert13(const char *fn, int fl, const char *fu, const char *m)
{
abort();
}